Scrittura di un'istanza di Show per Data.Functor.Compose senza FlexibleContexts

Question

Sto sperimentando con Data.Functor.Compose e volevo scrivere un'istanza Show per questo quando provavo cose in ghci. Quello che ho (che sta lavorando) è:

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

Quello che mi chiedevo è: esiste un modo per scrivere questo spettacolo istanza senza FlexibleContexts?

Answer 1

Non credo sia possibile. Per citare il GHC documentation for FlexibleContexts:

In Haskell 98, le affermazioni nel contesto della dichiarazione di istanza devono essere di forma C a dove a è una variabile di tipo che si verifica nella testa.