Autonomiczna deklaracja pochodna w szablonie Haskell quotation

Question

Dlaczego szablon Haskell ignoruje samodzielne wyprowadzenie deklaracji w ofercie?

{-# LANGUAGE TemplateHaskell, StandaloneDeriving #-} 
data Test a = Test a 
$([d| deriving instance Show a => Show (Test a); f x = x |]) 

ghci> :l Test.hs 
[1 of 1] Compiling Main    (Test.hs, interpreted) 
Ok, modules loaded: Main. 
ghci> :t f 
f :: t -> t 
ghci> Test 1 :: Test Int 

<interactive>:18:1: 
    No instance for (Show (Test Int)) arising from a use of `print' 
    Possible fix: add an instance declaration for (Show (Test Int)) 
    In a stmt of an interactive GHCi command: print it 

Answer 1

ten stosuje się wada kompilatora, gdzie typ danych przez szablon Haskell zgłoszeń nie jest jeszcze w stanie przechowywania samodzielny wynikającą, przykładowo (patrz http://hackage.haskell.org/packages/archive/template-haskell/2.8.0.0/doc/html/Language-Haskell-TH-Syntax.html#t:Dec).

Od 7.10 został naprawiony this bug. (Podziękowania dla @VladimirStill za wskazanie tego w komentarzu poniżej.)