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