deleter :: Ord v => v -> Maybe (Set v) -> Maybe (Set v)
deleter _ Nothing                     = Nothing
deleter :: Ord v => v -> Maybe (Set v) -> Maybe (Set v)
deleter _ Nothing                     = Nothing
deleter _ Nothing                     = Nothing