Yep.. Ok, we define `Eq`instances for the basic types and for the use of
EqK
! Thx
👍 1
PhBastiani
12/09/2019, 4:33 PM
And finaly,
Hash
instances depend on
Eq
...
j
Jannis
12/09/2019, 5:02 PM
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.