Probably because Python doesn't distinguish characters and strings. When you index into a string, you get a string back (that happens to be length one, of cours

Probably because Python doesn't distinguish characters and strings. When you index into a string, you get a string back (that happens to be length one, of course), which means that a string is a list of strings. Thus, exploding string into a list type isn't really possible as the type of `str` is something like `List[str]`, which doesn't make a whole lot of sense.