instance Ord a => Commutative (Set a)
instance Commutative IntSet
Maybe
Initial version, created from groups package.
groups