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