@hironytic #swift から #math に移動しました。 https://gist.github.com/hironytic/9cb2f09d22a615dd26c043589c7a4b31

さて、 Either<T, U> の値域は、 任意の t∈T, u∈U に対して、 a == t || b == u を満たすパターンの集合だと言える。

ここの || が XOR になりませんか？ a is T && b is U のときの値を表せないように思います。 (edited)