代数的データ型の sum type は排他的だけど論理和は排他的でない？そこは xor と対応しなくて良い？？