Re: [Haskell-cafe] Serialising types with existential data constructors

On 12.09 15:28, Misha Aizatulin wrote:

I've been using existentially quantified data constructors like

...

data Box = forall a. Cxt a => Box a

If you can include Typeable into the mix then serializing works. Serialize the value as "<name of type> <value>". When deserializing use a Map <name of type> <decoder-function> and get the appropriate decoder from there for the type in question. - Einar Karttunen