"for" is not that complicated, it's just mapM with its arguments pre-flipped: http://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Monad.html#v:forM ht

"for" is not that complicated, it's just mapM with its arguments pre-flipped: http://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Monad.html#v:forM http://hackage.haskell.org/package/base-4.12.0.0/docs/Contro... I don't know why you want to call that a "loop", but, sure, you do you, you crazy imperative programmers.