[Haskell-cafe] reading existential types

Jim Apple jbapple+haskell-cafe at gmail.com
Tue Jul 10 13:26:00 EDT 2007

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


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?


More information about the Haskell-Cafe mailing list