Closed MichaelXavier closed 7 years ago
Adds semigroup superclass to types implementing monoids. The failures in travis appear to be from master.
Adds semigroup superclass to types implementing monoids. The failures in travis appear to be from master.