\(x: <>) -> (merge {=} x) : Bool