Data.Comp.Param.Multi.Equality

class PEq a

class EqHD f