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