Overthinking

Monoid