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

Grassで色々遊んだ事のある人は引っかからずに済むかも。