Exists for all places

[Arthur Baars]

I see the difference in behaviour of the parser for "newtype" and "data"
definitions in combination with universal quantifications,
as reported by Ralf Hinze ("forall for all places", October 2001), has been
fixed in GHC version 5.02.1.

I encountered a similar problem with existential quantification:

this works

	         data Exists f = forall x . E ( f  x)

this doesn't work

         newtype Exists f = forall x . E ( f  x)

Hugs accepts both.

It there a reason why existential quantification does not work with a
newtype, or is it just
a parser problem?

Cheers, Arthur