let
k5 =
Lam
(x,
Const
5)