λ-4λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u)