foldM package:ListLike

Monadic version of left fold, similar to foldM.
Map each element to a monoid, then combine the results