AspectAG

First class attribute grammars as a Haskell EDSL.