練習問題 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 dnarrow2 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