なぜここにショーを派生させることができないのですか？

Question

ここで表示するのはなぜですか？

{-# LANGUAGE ExistentialQuantification #-} 
data Obj = forall a. (Show a) => Item_Obj {get :: a, rest :: Obj} | No_Obj deriving Show 

xs :: Obj 
xs = Item_Obj 1 $ Item_Obj "foo" $ Item_Obj 'c' $ No_Obj 

main :: IO() 
main = putStrLn . show $ xs 

Answer 1

この種のコンテキストは、haskell-98データ型では使用できません。 Read this

もちろん、StandaloneDeriving拡張子を使用してスタンドアロンインスタンスを作成し、残りのハードワークを行うこともできます。

deriving instance Show Obj 

Answer 2

これは、GHCのヘッドが爆発するためです。言い換えれば、存在型のインスタンスを導出する方法は単に教えられていないだけです。いくつかのバージョン番号が通過するのを待ってから、もう一度やり直してください。