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

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