Represents a multiplicative monoid.
Types implementing this interface support:
(a * b) * c = a * (b * c)
a * b
T
Represents a multiplicative monoid.
Types implementing this interface support:
(a * b) * c = a * (b * c)a * bproduces another value of typeT