Best way to achieve empty string

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…
    ) , both String.empty/0 and String.append/2 would be wonderful functions to have, making this behaviour more explicit :grin:.