On 9/20/06, Misha Aizatulin <[EMAIL PROTECTED]> wrote:
What I need it for is serialization of datatypes with existential constructors (see http://haskell.org/pipermail/haskell-cafe/2006-September/018041.html) I am having a box like > data Box = forall a. Cxt a => Box a and want to write a Read instances for it.
Can you define instance Cxt a => Read (Box a)? If not, then you need typecase and Haskell does not really support that. -- Taral <[EMAIL PROTECTED]> "You can't prove anything." -- Gödel's Incompetence Theorem _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
