merge x y :T