Oh interesting. That would work too, but `*` is really quite nice in the context that string concatenation is properly the associative binary operation of a fr

Oh interesting. That would work too, but `*` is really quite nice in the context that string concatenation is properly the associative binary operation of a free monoid.