let ff = Lam (t, Lam (f, Var f))