Eq
cats
emptyk
derived
eq
derived
exports
MkEmptyK
MkEq
MkFoldable
MkFunctor
MkPure
consk