Top Answers

1. What is an existential type?
   12 votes
2. Is Last a free monoid?
   11 votes
3. Difference between initial and terminal objects in a category
   7 votes
4. 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?
   6 votes
5. Why is sum-type a disjunction in the Curry-Howard correspondence?
   1 votes