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

[Gregory Crosswhite]

On 11/11/10 12:07 PM, C. McCann wrote:
> To retain sanity, either "types
> that can be serialized" must be marked explicitly (perhaps in the
> context, similar to having a Data.Typeable constraint) to indicate
> potential non-parametric shenanigans

You mean, like Data.Binary?

Cheers,
Greg