foldMapA package:Agda

Branch over a Foldable collection of values using the supplied action.