My favorite is the MessagePack serialization protocol. The Haskell implementation (officially supported, yay) uses Template Haskell to derive serialization and

My favorite is the MessagePack serialization protocol. The Haskell implementation (officially supported, yay) uses Template Haskell to derive serialization and deserialization code, with full type-checking, for arbitrary data structures. Check it out: https://github.com/msgpack/msgpack/blob/master/haskell/test/UserData.hs https://github.com/msgpack/msgpack/blob/master/haskell/test/...