Sorry @rjhall just caught this -- this looks like a revert of the move I made to depend upon MonoidAggregator?