>>485
その数の定義で行くと、
たとえば、threeは
ペアを作る関数
pair m n = (\x -> x m n)
として、これをpair m n を (m, n) と書くとして、
(false, (false, (false, I)))
ってなっちゃうじゃん？
２番目の要素がペアなのかIなのか決まらないじゃん。