merge x y : t a