monoid.world

This monoid is free.