Data.Comp.Multi.Equality
class
EqHF
f
class
KEq
f
heqMod