Hi there.
I get the impression someone is working on this stuff from the changes in
CVS so you probably know about these problems, but just in case (and to
prove that it is all worthwhile, for you to do this stuff), here they are:
Using the latest Win32 GHC (thanks to Reuben for the ongoing work
I have experimented with the definition of class assertions in section 4.1.3
in the Haskell 98 report, and found that GHC 4.08 and GHC 5.00.1
(invoked via ``ghc -c Test.hs'') both derive and accept type arguments
(in class assertions) that do not have a variable as head.
I cannot really imagine