There is `EqK`, no?

# arrow

[simon.vergauwen]

There is EqK, no?

[PhBastiani]

Yep.. Ok, we define `Eq`instances for the basic types and for the use of EqK ! Thx

[PhBastiani]

And finaly, Hash instances depend on Eq...

[Jannis]

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.