merge x y : t