練習問題 3.7.2

arrow2 m n = m n
を考えたとき,なぜこれがチャーチ数のnmであるといえるのか.
arrow2
の型はどうなっているか.



arrow2 cn dn
dn
回適用する関数を
cn
回適用するので,
arrow2 cn dn f
f
をdncn回適用する.


arrow2 :: Cnum (a -> a) -> Cnum a -> Cnum a
arrow2 cn dn = cn dn