Здравствуйте, BulatZiganshin, Вы писали:

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

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

Осуждается у нас обычно Template Haskell (не заслуженно, на мой взгляд), а DSL-и, обсуждаются. Надеюсь это и мелось в виду?