[TYPES] A show-stopping problem for modular type classes?

[Brian Hulley]

[Apologies if you've received this twice - I sent it first from the wrong address]

Brian Hulley wrote:
> From this angle it is then easy to see that far from regarding the 
> global nature of Haskell typeclass instances as a minor inconvenience 
> to be circumvented by lexical scoping or some other mechanism, it is 
> in fact the central core of the concept itself!
 
For some reason my email program made it look as if the above paragraph, 
which I wrote, was quoted from Simon's post. Apologies for the confusion,
 
Brian.