Existential types: want better syntactic support (autoboxing?)

Wolfgang Jeltsch wolfgang at jeltsch.net
Tue Jan 31 08:02:28 EST 2006

Am Dienstag, 31. Januar 2006 03:20 schrieb John Meacham:
> [...]

> an alternative might be to just allow existential types in structures so
> we can have [exists a . Foo a => a], but that probably has its own can
> of worms...

But it sounds very reasonable to me, more reasonable than the autoboxing 
approach :-(.

>         John

Best wishes,

More information about the Haskell-prime mailing list