Data.Comp.MultiParam.Equality

class PEq a

class EqHD f