The class of semigroups (types with an associative binary operation).
Instances should satisfy the following:
- Associativity x <> (y <> z) =
(x <> y) <> z
You can alternatively define
sconcat instead of
(
<>), in which case the laws are:
@since base-4.9.0.0