Either のパターンの関数のところははカリー化できてもあまり嬉しくないし、あまりの引数はすべて無視するなら eithern 1 はあらゆる eithern X の left と同一視できる。