Existential types: want better syntactic support (autoboxing?)

[Wolfgang Jeltsch]

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,
Wolfgang