Warum kann ich Show hier nicht ableiten?

Question

Warum kann ich Show hier nicht ableiten?

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

Eine solche Art von Kontext ist in haskell-98-Datentypen nicht erlaubt. Lesen Sie this

Natürlich können Sie Standalone-Instanz schreiben, indem Sie StandaloneDeriving Erweiterung verwenden und ghc Rest der Arbeit machen.

deriving instance Show Obj 

Answer 2

Grundsätzlich weil GHC Kopf explodiert, wenn Sie das versuchen. Mit anderen Worten, es wurde einfach nicht gelehrt, Instanzen für existentielle Typen abzuleiten. Warten Sie, bis einige Versionsnummern erfolgreich sind, und versuchen Sie es erneut.