@Nobkz 代数的データ型では 
Either<A, B> のようなのが sum type なのに、↑の表を見てると論理和の表と対応しないぞ？論理和と sum type の関係は？って考えてた与太話ですEither<A, B> のようなのが sum type なのに、↑の表を見てると論理和の表と対応しないぞ？論理和と sum type の関係は？って考えてた与太話です