-- | /O(min(m,n))/ Zip the two vectors with the monadic action and ignore the
-- results
zipWithM_ :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs), G.Vector (Vector k) (Rec (TaggedFunctor Identity) ss))
          => (Rec (TaggedFunctor Identity) rs -> Rec (TaggedFunctor Identity) ss -> m e) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) ss)-> m ()
zipWithM_ = G.zipWithM_
zipWithM_ :: (Monad m, G.Vector (Vector k) (Rec (TaggedFunctor Identity) rs), G.Vector (Vector k) (Rec (TaggedFunctor Identity) ss))
          => (Rec (TaggedFunctor Identity) rs -> Rec (TaggedFunctor Identity) ss -> m e) -> (Vector k) (Rec (TaggedFunctor Identity) rs) -> (Vector k) (Rec (TaggedFunctor Identity) ss)-> m ()
zipWithM_ = G.zipWithM_
zipWithM_ = G.zipWithM_