λ(x : <>) → merge {=} x : Bool