Data.Comp.Multi.Equality

class EqHF f

class KEq f

heqMod