Existential quantification

George Russell ger@tzi.de
Wed, 21 Feb 2001 19:52:40 +0100

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.