> > My biggest wishes for Haskell-2 are existential types
> > and the TREX extensible record system from Hugs 1.3.
> > I've found these two extensions *extremely* handy.
>
> I agree; Haskell 2 should have existential (and universal) types. I
> also think it should have both extensible records and extensible
> variants. (See the following paper for more information on these.
> TREX is an implementation of half of this system; it has the
> extensible records but not extensible variants.)
Whyn't take this one step further (and kill two birds with one stone(?)) by
adding a subtype relation?
