(merge x y) : t