:: Monoid m => (a -> m) -> [a] -> m package:fixed-vector

Map each element of the structure to a monoid, and combine the results. Similar to foldMap
Map over vector