Semigroup and Monoid instances for the standard library String type.
Semigroup
Monoid
String
Provides string concatenation as a monoidal operation with the empty string as the identity element.