\(x: <>) -> let y: Bool = merge {=} x in 1