@hackage / aterm

serialisation for Haskell values with sharing support