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

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

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