unaddMatchesProxy

PartiallyOrderedSetLaws

unorderedFoldMap

MinimalPartialOrderedSetProxy