At work we had a discussion about whether it was possible to serialize existential types like

This may be relevant for Cloud Haskell. On one hand values need to have a type which is Serializable in order to be sent, and on the other hand an alternative implementation of the Closure type would be possible.

In http://hpaste.org/85654 and also pasted below, I'm submitting a solution. It uses a table to look up "get" methods of Binary instances by Typeable fingerprint.

If the remote tables of Cloud Haskell included the appropriate "get" methods, perhaps it would be possible to define Closure as

example.hs