Sum package:lens-family-core

Monoid under addition.
>>> getSum (Sum 1 <> Sum 2 <> mempty)
3
sumOf :: Num a => Fold s t a b -> s -> a
Returns the sum of all the referenced values.