http://nix.cs.uu.nl/dist/courses/sgc-report-unstable-latest/manual/chunk-chapter/index.html

мне его посоветовали как хорошее описание Template Haskell, но я гляжу там вообще осуждаются интересные нам темы — DSL, активные библиотеки и т.п.