[Haskell-cafe] Serialization of (a -> b) and IO a

[Stephen Tetley]

Apologies - an unfortunate typo in my first sentence (extra "don't") ,
it should have read: :

> But I don't see that you need introspection at user level for
> persistence, a dynamic type will do, thus the internals aren't open to
> inspection. Whatever introspection is necessary can be handled by the
> runtime system as in Clean and Persistent Haskell. You could look at
> the internals of a pickle with a binary editor but that's perhaps
> cheating.