merge into a union Synonym