Maps each item of the structure data to a monadic action, and evaluates them from left to right, then ignores the result.
data
A Foldable instance for T.
Foldable
T
A Monad instance for M.
Monad
M
The collected result of actions.
Maps each item of the structure
datato a monadic action, and evaluates them from left to right, then ignores the result.