来源：https://stackoverflow.com/questions/64380092/what-type-corresponds-to-a-xor-b-in-type-theory 标签 haskell functional-programming category-theory curry-howard
