instance declarations

[Mark P Jones]

Hi Marcin,

| > There's no solid technical reason for this, but Haskell doesn't allow
| > it at the moment because there isn't an easy way to name an instance
| > declaration.
| 
| There is another problem: even if we created a syntax to name them,
| if they would not be exported by default then current programs would
| have to be changed.

You're right of course, although I consider this a pragmatic issue
rather than a technical problem:  I'm thinking of future languages
that are inspired by current Haskell standards but not constrained
by details of the current definition or existing codebase.

All the best,
Mark