Either は sum type だけど or じゃなくて xor なのか。