Map each element of a structure to a monadic action, evaluate these
actions from left to right, and ignore the results. For a version that
doesn't ignore the results see mapM.
As of base 4.8.0.0, mapM_ is just traverse_, specialized
to Monad.
forM_ is mapM_ with its arguments flipped. For a version
that doesn't ignore the results see forM.
As of base 4.8.0.0, forM_ is just for_, specialized to
Monad.