merge { x = True } (< x : Bool >.x True)