Data.Comp.Equality

class EqF f

eqMod