Existential associated types

Sorry I don't see what problem classes solve here. Or what is has to do with identity. I don't need to inherit anything, and I don't need any shared state.

Neat! Even better than "detached ID" wrapper!

Try modeling your problem with classes, see if it simplifies what you want to do significantly :)