Monoid.sum can also be implemented in terms of aggregate (vs reduce)