@taketo1024 突然質問すみません。Discordのios-developers-japanで話してたんですが、直和型と論理和と排他的論理和の数学的な関係がどうなってるかご存知でないでしょうか？Either<T, U>がTとUのどちらかしか許さないのは、論理和よりむしろ排他的論理和に近い気がするのですが。