Ben <a href="http://hackage.haskell.org/packages/archive/transformers/0.3.0.0/doc/html/Data-Functor-Compose.html" rel="noreferrer"><code>Data.Functor.Compose</code></a> ile deniyorum FlexibleContexts

Question

olmadan Data.Functor.Compose için göster örneği yazma ve GHCi şeyler dışarı çalışırken bunun için bir göster örneğini yazmak istedim.

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

Ne merak edilir: FlexibleContexts olmadan bu gösterin örneği yazmak için bir yol var I var nedir (ki çalışıyor)?

Answer 1

Mümkün olduğunu sanmıyorum. GHC documentation for FlexibleContexts alıntı: Haskell'e 98'de

, örneğin bildiriminde bağlamında iddiasının kafasından oluşan bir tip değişken bir şekilde Cı-a olmalıdır.