当我问这个问题，其中一个答案，现在删除，是在暗示该类型Either对应于XOR，而不是OR，在柯里-霍华德同构的，因为它不能Left与Right在同一时间。
Either
Left
Right
真相在哪里？
haskell boolean-logic functional-programming category-theory curry-howard
boolean-logic ×1
category-theory ×1
curry-howard ×1
functional-programming ×1
haskell ×1