merge { x = 0 } < x >.x : Bool