StringMonoid constructor

StringMonoid()