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