Yes, this gives you

User.eq()

which points to the instance. Same for other type classes that is why you find

Option.monad()

for example, those are typeclasses as well