Semigroups
Semigroup
Semigroup typeclass
Commutative
Semigroup following commutativity law
append(x, y)
append
m -> m -> m
Table of contents: