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
Simon Peyton-Jones wrote:
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'
