append is actually a good name for monoids binary operation
Monoids are a Semigroup + an identity