[Haskell-cafe] Is it possible to read existential types?