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
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to