[Haskell-cafe] Call for discussion: OverloadedLists extension

[Simon Peyton-Jones]

| pointer to the actual data somewhere in memory and use that. This is
| more or less what happens for strings at the moment, even though you
| have to use rewrite rules to get at the pointer which, in my opinion, is
| neither ideal nor really necessary. IMO, the "right" design shouldn't
| rely on rewrite rules. Also, strings give you an Addr# whereas vector
| supports ByteArray#, too.

If it's not necessary, I wonder if you have an idea for the "right" design?  

I find it a lot easier to see what is wrong with the current situation than to think of solutions.

Simon