Yes, this gives you `User.eq()` which points to th...

# arrow

[raulraja]

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