Fixpoint types and recursion schemes. If you define your AST as
 fixpoint type, you get fold and unfold operations for free.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.