評価はされるかもしれませんが、その評価に関わらず、式は真になりますよねということ。

7:56 AM

あ、Eitherが表現できる状態は、 a == t || b == u を満たす (a,b) の集合ではなくて、 a == t || b == u を満たすパターンの集合ですよ。パターンの集合って言葉がおかしいけど。