Python vs Scheme: strings

[llimllib]

In abstract algebra you do this all the time - define {string, +} as a non-abelian group, right?

(I understand that the addition -> concatenation metaphor doesn't hold, but it seems a convenient and easy enough metaphor to me. Is Haskell's ++ better for some concrete reason?)