data Set ainstance eqSet :: (P.Eq a) => P.Eq (Set a)instance showSet :: (P.Show a) => P.Show (Set a)empty :: forall a. Set aisEmpty :: forall a. Set a -> Booleansingleton :: forall a. a -> Set acheckValid :: forall a. Set a -> Booleanmember :: forall a. (P.Ord a) => a -> Set a -> Booleaninsert :: forall a. (P.Ord a) => a -> Set a -> Set adelete :: forall a. (P.Ord a) => a -> Set a -> Set atoList :: forall a. Set a -> [a]fromList :: forall a. (P.Ord a) => [a] -> Set aunion :: forall a. (P.Ord a) => Set a -> Set a -> Set aunions :: forall a. (P.Ord a) => [Set a] -> Set adifference :: forall a. (P.Ord a) => Set a -> Set a -> Set a