GHC HEAD теперь обогатился этим:

Declaration-level splices with no "$"<br />
Nested top-level splices<br />
Fix Trac #3467: non-top-level type splices

Тогда как первое — чисто синтаксическая приятность, второе может иметь гораздо более далеко идущие последствия. Некоторые вон уже пишут <i>So now we can all write programs that generate programs that generate<br />
programs... to our heart's content</i>.

Ну и третье, собственно, зачем я все это написал — багрепорт #3467, который, как я понимаю, и послужил стимулом для SPJ все это сделать — моих рук дело. В ghc 6.10.4 сплайсить типы вообще невозможно, и, естественно, у меня было обычное решение без сплайса и цитирования. В 6.11, однако, такая возможность появилась, я ее попробовал, и словил этот баг. Казалось бы, не релиз же, че дергаться, но я *не поленился* и вон они какие результаты. Вывод: не ленитесь писать багрепорты.