Data.Comp.Param.Equality

class PEq a

class EqD f