Commutative Ring typeclass definition and its instances for basic types.
Explicit typeclass which implements ring operations for type a
when the multiplication operation is commutative.
number : CommutativeRing number
Construct real number ring
trivial : CommutativeRing ()
Construct trivial ring
exclusiveOr : CommutativeRing Basics.Bool
Construct exclusive all ring