Gabriel Riba <griba2001 <at> gmail.com> writes: > I would like to reuse code between a SortedSet and an EqSet, for functions > that have neither ord nor eq constraint at the element. > > When I apply the unconstrained ops functor to the base one I get: I should have said common ops. instead of unconstrained.