Map each element of a structure to an Applicative action,
evaluate these actions from left to right, and ignore the results. For
a version that doesn't ignore the results see traverse.
traverse_ is just like mapM_, but generalised to
Applicative actions.
Map each element of a structure using one of two actions, evaluate
these actions from left to right, and ignore the results. For a
version that doesn't ignore the results, see bitraverse.