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