Nobody on this one?
Here is a simplified version:

data Event a where
    InputChoice ::  a -> Event a

How to serialize/deserialize this?

Cheers,
Corentin

On Sat, Oct 20, 2012 at 10:49 PM, Corentin Dupont <corentin.dupont@gmail.com> wrote:
Hi the list!
I have a simple question, how can I serialize/deserialize a structure like this:

data InputChoice c  deriving Typeable
data Event a where
    InputChoice :: (Eq c, Show c) => [c] -> c -> Event (InputChoice c)
 (...)

I'd like that the values of type "c" get serialized to a String... That's the easy part, but for deserializing, oops!

Cheers,
Corentin