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.