aterm

Efficient serialisation via annotated terms. Typeable Haskell values may be converted to and from aterms.