:: (Monad m) => m a -> (a -> m b) -> m b package:Agda

Generalized version of for_ :: Applicative m => [a] -> (a -> m ()) -> m ()