Proposal: add foldMapA to Data.Foldable or Control.Applicative

Lana Black lanablack at
Wed May 8 02:04:17 UTC 2019

On May 8, 2019 1:56:50 AM UTC, Vanessa McHale <vanessa.mchale at> wrote:
>It's relatively easy to define foldMapA, viz.
>foldMapA ::  (Monoid b, Traversable t, Applicative f) => (a -> f b) ->
>a -> f b
>foldMapA = (fmap fold .) . traverse
>I've used found it useful once so far:
>Vanessa McHale

Yes, please! I have found it useful on numerous occasions.

More information about the Libraries mailing list