> will avoid exactly this type of ambiguity.

Sure but they will have other types of ambiguity