↑の表を論理演算の表と比較すると、 (T, U) は論理積に対応するけど Either<T, U> より These<T, U> が論理和に対応するように見えるという話でした。

8:18 AM

@tarunon ↑の表も型として取りうる状態になってませんか？ Either<T, U> において「値TとUが別々の場所に格納される」わけではないですし。

8:20 AM

ただ、「和」とは何かを taketo1024 さんの貼ってくれたような圏論の定義に従って解釈しないと結局わからない気がしてます。