fft1976: > Is there a way to do binary serialization of Haskell values (in GHC, > at least)? If you propose a method, what are its type safety and > portability properties? There are many ways. See Data.Binary (fast, portable). Most are type safe, or additional safety can be added.