Впечатления от Template Haskell.

[thesz]

Голову не сломал, но повеселился.

Подмоги со стороны компилятора ждать не приходится - reify, как я уже говорил, не возвращает тело функции по запросу информации о ней. Придётся думать насчёт своей проверки типов.

Придётся думать.