-- | /O(n)/ Apply the monadic action to all elements of a vector and ignore the
-- results
mapM_ :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
  => (Rec (TaggedFunctor Identity) rs -> m b) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> m ()
mapM_ = G.mapM_
mapM_ :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs))
  => (Rec (TaggedFunctor Identity) rs -> m b) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> m ()
mapM_ = G.mapM_
mapM_ = G.mapM_