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

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.