forM package:universum

forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b)
universum Universum.Base
forM is mapM with its arguments flipped. For a version that ignores the results see forM_.
forM_ :: (Container t, Monad m) => t -> (Element t -> m b) -> m ()
universum Universum.Container Universum.Container.Class
Constrained to Container version of forM_. 
>>> forM_ [True, False] print
True
False
concatForM :: (Applicative f, Monoid m, Container (l m), Element (l m) ~ m, Traversable l) => l a -> (a -> f m) -> f m
universum Universum.Monad.Container
Like concatMapM, but has its arguments flipped, so can be used instead of the common fmap concat $ forM pattern.