Unrolling and simplifying expressions with Template Haskell

We introduce a handful of modules for manipulating Template Haskell datastructures, building up to modules that allow simplication and recursion unrolling of Haskell code. To illustrate their use, and to demonstrate the performance improvements that motivate this work, we also discuss an example application Fraskell [5], showing how we can get more than an order of magnitude performance increase with minimal changes to the source