Can we have a sensible docstring here?

"Instances of two different types that have the same id should be distinguishable"