Eine Show-Instanz für Data.Functor.Compose ohne FlexibleContexts schreiben

Question

Ich experimentiere mit Data.Functor.Compose und wollte eine Show-Instanz dafür schreiben, wenn ich Dinge in ghci ausprobiere. Was ich habe, (welche arbeitet) ist:

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

Was ich frage mich, ist: Gibt es eine Möglichkeit, diese Karte Instanz ohne FlexibleContexts zu schreiben?

Answer 1

Ich glaube nicht, dass es möglich ist. Um es mit den GHC documentation for FlexibleContexts:

In Haskell 98, die Behauptungen im Zusammenhang mit der Instanzdeklaration muss die Form C sein, wobei a eine Art Variable, die im Kopf stattfindet.