A Combinator Library for Specifying Program Transformation

We present an embedded domain specific language for specifying program transformations. The lan-guage is implemented as a monadic combinator library in Haskell. The transformations are done atcompile time using the mechanism of Template Haskell. The library provides a modular way to structureabstract and intuitive transformation strategies by higher-order matching and monadic programming.