merge { x = λ(y : Bool) → y } < x >.x : (∀(y : Bool) → Bool)