:: (a -> IO b) -> [a] -> IO [b] package:prelude-compat

Map each element of a structure to a monadic action, evaluate these actions from left to right, and collect the results. For a version that ignores the results see mapM_.