Hugs is to restrictive about where forall can go.

[Kevin Atkinson]

For example hugs does not allow the following two examples:

type HashFun = (forall el. el -> Int)

type Parms el = el -> (forall el. el -> Int)

but ghc compiles it just fine.
-- 
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/