在没有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

我不认为\xe2\x80\x99t这是可能的。引用FlexibleContexts的GHC文档：

\n\n

\n

在 Haskell 98 中，实例声明上下文中的断言必须采用 C a 形式，其中 a 是出现在头部的类型变量。

\n

\n