Re: [Haskell-cafe] reading existential types

reading existentials (or gadts, for that matter) is an interesting problem. sometimes too interesting..

http://www.padsproj.org/ is a project that allows automated reading codde for even some dependently-typed data. Perhaps it has something to offer for automatic deriving of Read instances for GADTs? Jim