Re: Existential types: want better syntactic support (autoboxing?)

On 1/30/06, Johannes Waldmann 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 "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra