Pisanie instancji Show dla Data.Functor.Compose bez elastycznych kontekstów

Question

Eksperymentuję z Data.Functor.Compose i chciałem napisać dla tego przykładu wystąpienie podczas wypróbowywania rzeczy w ghci. To, co mam (które działa) jest:

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

co ja zastanawiałem się: czy istnieje sposób, aby napisać ten show instancji bez FlexibleContexts?

Answer 1

Nie sądzę, że to możliwe. Zacytować GHC documentation for FlexibleContexts:

Haskell 98 twierdzenia w kontekście zgłoszenia przykład musi być w postaci C a, gdzie a oznacza zmiennym, który występuje w głowicy.