Existential quantification

[George Russell]

Excuse me, but is it a bug or a feature that Hugs (98-Feb2001), with 
the -98 option, rejects:

data G b = forall a . H a b =>  G a b

class H a b where

with "Variable "b" in constraint is not locally bound"?

PS - please CC me with replies as I don't normally subscribe to this list.

_______________________________________________
Hugs-Users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-users