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