Am I right in thinking that sets of sets don't really work with GHC's
Data.Set because "Set a" things aren't instances of Ord? How should I do
sets of sets with it?
(e.g. Set.mkSet [Set.unitSet 1] gives "No instance for (Ord (Set a))")