[Haskell-cafe] Encoding the encoding type of a string into its type

[Christopher Done]

There are a lot of issues with string encoding type mismatches.
Especially "automatic" conversions. This mailing list gets enough
posts about encoding confusions.

Would it make sense to make the string depend on its encoding type?

E.g. a String UTF16 cannot be used with putStrLn :: String UTF8, it
has to be used with putStrLn :: String UTF16. Provided the fundamental
functions that read and write strings are type safe, there'll be no
mix-ups?

I'll think about this more later. Just putting the question out there
so that I remember when I get home.