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.