class A a where
  foo :: a b

class B a

class (A a, B a) => C a

GHC его успешно компилирует, а Hugs выдает ошибку: Illegal type in class constraint.
Кто прав и в каком разделе haskell report это разъясняется?

Здравствуйте, nikov, Вы писали:

N>GHC его успешно компилирует, а Hugs выдает ошибку: Illegal type in class constraint.
N>Кто прав и в каком разделе haskell report это разъясняется?

Вроде это расширение GHC. В Haskell Report я такого вообще не припоминаю...