EquivOrdering

generic

EquivOrdering1

generic

equals

HConsSemigroup