let id = Lam (x, Var x)