One big downside: Since the `StringMonoid` appears...

# language-proposals

[fellshard]

One big downside: Since the StringMonoid appears to be a String still, you may inadvertently begin passing that context around...