テンプレートのスタンドアロン派生宣言Haskellの引用

Question

なぜテンプレートHaskellはスタンドアロン派生宣言の引用を無視するのですか？

{-# 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

これは宣言のテンプレートHaskellのデータ型がスタンドアロン導出インスタンスを格納さえできないコンパイラ、（http://hackage.haskell.org/packages/archive/template-haskell/2.8.0.0/doc/html/Language-Haskell-TH-Syntax.html#t:Dec参照）の欠点であるために使用。

7.10だからといって、this bugが修正されました。 （@ Vladimirのおかげで、これは以下のコメントにこれを指摘してくれました）