Robert Dockins wrote: >> Why not also Ord instances i.e. for UnbalancedSet > > That's a good idea. However, I'm not sure what the "right" total order > would be. The obvious thing that comes to me is the lexicographic > order on the ascending listing of elements. That's the one I would expect (and the one used by Data.Set and Data.Map) C.