let k5 = Lam (x, Const 5)