Data.Functor.ComposeのShowインスタンスをFlexibleContextsなしで作成する

Question

私はData.Functor.Composeを試していて、ghciで試してみるときにShowインスタンスを書きたいと思っていました。私は（働いている）持っていることは次のとおりです。

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

私が思っていたどのようなものです：FlexibleContextsなく、このショーインスタンスを記述する方法はありますか？

Answer 1

私は考えられません。 GHC documentation for FlexibleContexts引用する：ハスケル98で

を、インスタンス宣言の文脈におけるアサーションは頭の中で発生する型変数であり、フォームCのAでなければなりません。