λ(y : Bool) → let x : Bool = y in x