As string combining ({"", &<>/2}) forms a Monoid (Just like:
{0, &+/2},{1, &*/2},{false, &Kernel.||/2}{[], &++/2},{%{}, &Map.merge/2},{MapSet.new(), &MapSet.union/2}
et cetera…
) , bothString.empty/0andString.append/2would be wonderful functions to have, making this behaviour more explicit
.






















