partition :: (k -> Bool) -> Set k -> (Set k, Set k)
partition p xs = (filter p xs, filter (not . p) xs)
partition :: (k -> Bool) -> Set k -> (Set k, Set k)
partition p xs = (filter p xs, filter (not . p) xs)
partition p xs = (filter p xs, filter (not . p) xs)