CommutativeGroup
trait CommutativeGroup[a: Type] with Group[a], CommutativeMonoid[a]SourceA trait for types that form a commutative group (abelian group)
i.e. groups where the combine function is commutative.
The default instances for number define the additive inverse in the real numbers.