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

[Ketil Malde]

Dan Doel <dan.doel at gmail.com> writes:

> You'd lose the whole notion of 'the category of haskell types and functions' 
> goodbye, too. Does f . id = f? Not if the former serializes as "f . id".

..and you are able to tell the difference.  Am I wrong in thinking that
this could be made to work if serialization was to/from an opaque type
instead of (Byte)String, so that the *only* operations would be
serialization and deserialization (and possibly storing to/from file)?

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants