pow
高階関数クイズ - Oh, you `re no (fun _ → more)
チャーチ数の冪乗計算を知っていれば。
POW := λbe.e b
http://en.wikipedia.org/wiki/Lambda_calculus
これ紙に書いて確かめてみるととても面白い。
という訳で
twice twice twice twice add1 0 = (((twice twice) twice) twice) add1 0 = (pow twice (pow twice (twice twice))) add1 0