A code generator for Haskell data types, parsers, and pretty-printers, from a formal description of the abstract and concrete syntax they are intended to work with.