Existential types: want better syntactic support (autoboxing?)

[Taral]

On 1/30/06, Johannes Waldmann <waldmann at imn.htwk-leipzig.de> wrote:
> How can we achieve the same effect in Haskell?

I see no reason why we can't create an existential datatype for every
single-parameter type class, perhaps with autoboxing.

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra