Free_monoid