:: (a -> Int) -> [a] -> Int package:rio

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