FreeMonoid and more