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