λ-3λn.λf.λx.f (n f x)