Parameterising Class Constraints in Existential Types

[Ashley Yakeley]

Is this valid (extended) Haskell?

--
class MyClass a b where
	foo :: a -> b -> Int

data Special = forall b. (MyClass Int b)=> MkSpecial b
data General a = forall b. (MyClass a b)=> MkGeneral b
--

Hugs complains about the 'General' line but has no problem with the 
'Special' line...

-- 
Ashley Yakeley, Seattle WA