> They can't extrapolate that forM_ works for any monad in the future. To be fair, this is a problem with Haskell as well; forM_ is more properly known as for_

> They can't extrapolate that forM_ works for any monad in the future. To be fair, this is a problem with Haskell as well; forM_ is more properly known as for_, which works with any Applicative, even if it isn't a Monad. :)