Sum
monoids
sum
Sum