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 это разъясняется?