mbine :: Ord a => S.Set (S.Set a) -> S.Set (S.Set a) -> S.Set (S.Set a)
combine x y = S.foldr  (combine_with y) S.empty x


combine :: Ord a => S.Set (S.Set a) -> S.Set (S.Set a) -> S.Set (S.Set a)
combine x y = S.foldr  (combine_with y) S.empty x
combine x y = S.foldr  (combine_with y) S.empty x