Top Answers

1. If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?
   12 votes
2. Why is (&) :: a -> (a -> b) -> b not treated as Monad?
   6 votes
3. How Initial encoding is converted to right associated structures?
   3 votes
4. How to convince GHC about type equality on a recursive type
   3 votes
5. Cartesian product of contraints
   2 votes