The instances, found by type; a type two of them have is ambiguous.
The qualified instances, found by their qualifier, and the instances, found by type; a type two of instances have is ambiguous, so one of them needs a qualifier.