[Haskell-cafe] A practical Haskell puzzle

[Heinrich Apfelmus]

Yves Parès wrote:
> Okay thanks I got the difference between both.
> The 'exists' syntax seems very useful. Is it planned to be added to GHC in a
> near future?

Probably not. But once GADTs become more prominent, there might be 
pressure to add first-class existential types to the language.

Note that GHC has long supported existential types, just not the 
explicit syntax.


Regards,
Heinrich Apfelmus

--
http://apfelmus.nfshost.com