foldMapA -package:relude

Map a Foldable collection of values into a nondeterministic computation using the supplied action.
Branch over a Foldable collection of values using the supplied action.
Map each element of a structure to an action, evaluate these actions from left to right, and concat the monoid results.