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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
