Existential types: want better syntactic support (autoboxing?)

[Johannes Waldmann]

It is standard practice to hide implementation details,
in particular, not publishing the type of an object,
but just the interfaces that its type implements. We can do this
with existential types but the notation feels clumsy. See my message
http://www.haskell.org//pipermail/haskell-cafe/2005-June/010516.html
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------