to FreeMonoid