Как написать сплайсинг в цитате выражения?

Question

Я пытаюсь написать заявление с помощью expression quotation, и все, что я пытаюсь компилятор не будет работать на модели с сообщением вроде следующего:

Parse error in pattern: $pattern 

Вот пример:

{-# LANGUAGE TemplateHaskell, QuasiQuotes #-} 
import Language.Haskell.TH 

data A = A Int Int 

decl :: DecsQ 
decl = [d| 
    instance Show A where 
     show $pattern = undefined 
    |] 
    where 
    pattern = conP (mkName "A") $ map varP $ map mkName $ ["a", "b"] 

Answer 1

ТН документация гласит, что:

Обратите внимание, что сращивания не поддерживаются

Подробнее here

Answer 2

GHC ГОЛОВА (7,8-к-быть) улучшена поддержка TH и успешно компилирует код.