Existential types: want better syntactic support (autoboxing?)

Taral taralx at gmail.com
Mon Jan 30 11:45:40 EST 2006

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
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list