Dominic: StringAssemiGroup -> StringSemiGroup