:: Monad m => (a -> m Bool) -> [a] -> m [Bool] package:numeric-prelude

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_.