여기에 Show를 가져올 수없는 이유는 무엇입니까?

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 데이터 유형에서 허용되지 않습니다. 읽기 this

물론 StandaloneDeriving 확장을 사용하여 독립 실행 형 인스턴스를 작성하고 ghc가 나머지 하드 작업을하도록 할 수 있습니다.

deriving instance Show Obj 

Answer 2

기본적으로 GHC의 머리가 폭발하기 때문에 시도해보십시오. 즉, 실존 유형에 대한 인스턴스를 유도하는 방법을 가르쳐주지 못했습니다. 몇 가지 버전 번호가 전달 될 때까지 기다렸다가 다시 시도하십시오.