Re: [Haskell-cafe] Question on kind inference

--- class A a where foo :: a b class B a class (A a, B a) => C a --- GHC compiles it without errors, but Hugs rejects it: "Illegal type in class constraint". The error message is horribly uninformative.

[Haskell-cafe] Question on kind inference

Hi, Consider this Haskell code: --- class A a where foo :: a b class B a class (A a, B a) => C a --- GHC compiles it without errors, but Hugs rejects it: "Illegal type in class constraint". What is the co