PartialOrder

cats

predicate

arbitrary

predicateArbitrary

ArbitraryPredicate

predicateGen

ArbitraryPredicate