在沒有FlexibleContexts的情況下為Data.Functor.Compose編寫Show實例

Question

我正在嘗試使用Data.Functor.Compose並希望在ghci中嘗試時為它編寫一個Show實例。 我所擁有的（有效）是：

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

我想知道的是：有沒有辦法在沒有FlexibleContexts的情況下編寫這個Show實例？

Answer 1

我不認為這是可能的。 引用FlexibleContexts的GHC文檔 ：

在Haskell 98中，實例聲明上下文中的斷言必須是C a形式，其中a是頭部中出現的類型變量。