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