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