let's remove the implicit ring here and get either the Monoid from a Sum, or the Ring from a difference.