This library builds on the rank2classes package to provide the equivalents of Functor and related classes for heterogenous trees, including complex abstract syntax trees of real-world programming languages. The functionality includes attribute grammars in Transformation.AG.