:: [a] -> (a -> Maybe b) -> [b] package:control-monad-free

forM is mapM with its arguments flipped. For a version that ignores the results see forM_.