pareto-front

Two monoids for finding either the Pareto efficient subset of a collection or splitting the collection into a series of Pareto fronts.