`Eq, Show, Hash` seem not defined for the `HKT` bu...
# arrow
p
Eq, Show, Hash
seem not defined for the
HKT
but only for the concrete types. Any reason ? Why do not we need to set the
neqv
method in the instances ?