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