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