A Monoid implementation for concatenating strings.

This monoid uses binary string concatenation (<>) as its associative operation and "" (empty string) as the identity element.