Hello, could the following be added to Data.Set? * instance Ord element => Monoid (Set element) * subsetOf :: Ord element => Set element -> Set element -> Bool Wolfgang