> for the individual "elements" to be strings. The basic idea is to have sum(string.foobars()) == string. Bytes and characters ('grapheme clusters') are then a

> for the individual "elements" to be strings. The basic idea is to have sum(string.foobars()) == string. Bytes and characters ('grapheme clusters') are then a specific subset of strings, that can therefore support additional operations like byte.ord(), the same way eg positive numbers support num.sqrt().