When attempting to reconstruct the syntax for existential
quantification, I tried:
newtype Groo a = Groo (Either a b)
To my surprise, using ghc-4.00, this worked - without even using
`-fglasgow-exts'. (it doesn't work, with or without `-fglasgow-exts'
under 3.02)
Then I read the release notes ;-) These told me about using `forall' on
`data' declarations. But the above works, and yields the type I was
expecting, i.e. the .hi file sez:
newtype Groo $r3r = Groo (_forall_ [$r3u] => PrelEither.Either $r3r
$r3u) ;
Is this a feature or a bug?
--Jeff
