Semiring
ring
sum
AdditiveMonoid
AdditiveMonoidFunctions
sumN
AdditiveGroup
AdditiveMonoid
AdditiveSemigroup
AdditiveSemigroupFunctions