merge x y : t
