foldMap package:basic-prelude

Map each element of the structure to a monoid, and combine the results.