[Haskell-cafe] A practical Haskell puzzle

Heinrich Apfelmus apfelmus at quantentunnel.de
Fri Mar 4 14:46:00 CET 2011

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.

Heinrich Apfelmus


More information about the Haskell-Cafe mailing list