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

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