ああ、でもそういえば、Eitherはただの型(というか型コンストラクタ) ですが、そのEitherも直和(集合論では論理和)と表わせるという話に近いかな。 (edited)

8:38 AM

Tは型、Uは型といったとき、集合論で考えるならば、T は集合、Uは集合なんですね。

8:40 AM

よんでる間、といったとき、TとUをなんか独立で考えられてる感があるなって思っていて、

8:40 AM

そのたとえば、NumとIntみたいな型同士が含有したりってことを考慮すればいいんじゃないかと。