\(x: { True: Natural, False: Natural }) -> merge x True