and this can probably be generalized to all foldab...
# arrow
r
and this can probably be generalized to all foldables for which a Monoid instance exists