would be nice to put a comma, and say maybe it does not merge identifiers even when they are the same type?