===================================================================== == Approach: A Lightweight Implementation of Generics and Dynamics [..] It is a bit outdated because with GADTs, the use can be slightly simplified. However, this also takes us further away from Haskell 98 or even Haskell' (since GADTs will not be there).
The 2nd Haskell' StrawPoll
http://hackage.haskell.org/trac/haskell-prime/wiki/StrawPoll-2
had for GADTs
5 Y 4 M 4 N
So, it's currently undecided whether they will be in. (And personally, I don't think we should hold ourselves up with H98.)
I think this is probably something we should take up again once we have the differences between the different approaches clear. I can imagine a number of scenarios: - designing three different libraries (Haskell 98, Haskell', and GHC + all extensions), - or a single library that is easier to use the more extensions of Haskell 98 is available, - forgetting about Haskell 98 altogether if Haskell' is emerging at that time, -... But maybe we should defer this discussion until the beginning of next year. -- Johan