inserter :: Ord v => v -> Maybe (Set v) -> Maybe (Set v)
inserter v Nothing  = Just (Set.singleton v)
inserter :: Ord v => v -> Maybe (Set v) -> Maybe (Set v)
inserter v Nothing  = Just (Set.singleton v)
inserter v Nothing  = Just (Set.singleton v)