don't you need to use User.eq().run { User(1).eqv(...
# arrow
j
don't you need to use User.eq().run { User(1).eqv(User(2)) } ?