:: (Applicative m, Foldable f, Monoid b) => (a -> m b) -> f a -> m b package:fmlist

Map each element of a structure to an action, evaluate these actions from left to right, and concat the monoid results.