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