FlexibleContexts없이 Data.Functor.Compose에 대한 Show 인스턴스 작성하기

나는 Data.Functor.Compose으로 실험 중이며 ghci에서 사물을 시도 할 때 Show 인스턴스를 작성하려고합니다.FlexibleContexts없이 Data.Functor.Compose에 대한 Show 인스턴스 작성하기

{-# LANGUAGE FlexibleContexts #-} 
instance (Show (f (g a))) => Show (Compose f g a) where 
    show = show . getCompose

내가 궁금하면된다 : FlexibleContexts없이이 표시 인스턴스를 작성하는 방법이 내가 가진 무엇입니까 (어떤을하고있다)?

나는 생각하지 않는다. GHC documentation for FlexibleContexts 인용 하스켈 98

을 인스턴스 선언의 맥락에서 주장은 헤드에서 발생하는 입력 변수 폼 A의 C이어야한다.

2013-06-07 22:14:06

답장을 보내 주셔서 감사합니다. 이런 종류의 "표현할 수없는"사례를 언어로 표현한 문서가 있습니까? –

하스켈 보고서와 GHC 문서 이외에는 아무 것도 내 마음에 오지 않습니다. –

답변