There is `EqK`, no?
# arrow
s
There is
EqK
, no?
☝🏼 1
p
Yep.. Ok, we define `Eq`instances for the basic types and for the use of
EqK
! Thx
👍 1
And finaly,
Hash
instances depend on
Eq
...
j
It's actually the other way around, hash can derive eq, no need to define anything from it (although quite weak as it compares hashes only). There are however no lifted versions for show and hash.
🙏 1