Type Alias Monoid<T>

All instances of Monoid must satisfy following conditions:

• Associative: for all x, y and z; combine(combine(x, y), z) equals to combine(x, combine(y, z)).
• Identity: for all x; combine(x, identity) equals to combine(identity, x) and x.