algebra.ring
This method converts an additive instance into a generic instance.
Given an implicit AdditiveMonoid[A], this method returns a Monoid[A].
AdditiveMonoid[A]
Monoid[A]