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