>
> Following recent discussions about instance declarations in Haskell-2
> on the Haskell mailing list, and the suggestion that without
> sufficient restrictions in this area Haskell's type system would
> become undecidable, I decided to demonstrate this directly.
This was more than a suggestion. John Ophel and I have this result
in a paper in submission (as was mentioned in an earlier message).
This is a revised version of a paper that was submitted last year.
The relevant excerpt is at:
http://guinness.cs.stevens-tech.edu/~dduggan/Public/Papers/multi.ps
http://guinness.cs.stevens-tech.edu/~dduggan/Public/Papers/multi.pdf
