Haskell-自動モナドインスタンス

Monadクラスの一部になる独自のデータ型を作成しようとしていますが、

newtype Container a = Container a deriving Monad

私にこのエラーを与えます：

   * Can't make a derived instance of `Monad Container'
        (even with cunning GeneralizedNewtypeDeriving):
        cannot eta-reduce the representation type enough
    * In the newtype declaration for `Container'
   |
30 | newtype Container a = Container a deriving Monad

他のクラス（たとえば、表示）では正常に機能しますが、モナドでは機能しません。コンテナをモナドクラスにインスタンス化するようにghciを説得するにはどうすればよいですか？

ありがとう

他のクラスでも問題なく動作します（例：表示）

標準クラスの固定セットのみが、すぐに使用可能な派生をサポートします。

Haskell 98では、派生可能なクラスはEq、Ord、Enum、Ix、Bounded、Read、およびShowのみです。さまざまな言語拡張機能がこのリストを拡張しています。

--- GHCユーザーマニュアル

特にMonad、そのリストにも拡張リストにも属していません。

任意のクラスへの派生を一般化する拡張機能は他にもありますが、100％自動化することはできません。どこかで、その導出方法を指定する必要があります。クラスによっては、基本的に推論できない情報があるため、利用者に負担を強いる場合があります。

あなたの場合、newtype ContainerはIdentity標準ライブラリのモナドと表現的に同等なので、次のように使用できますDerivingVia。

{-# LANGUAGE DerivingVia #-}
import Data.Functor.Identity

newtype Container a = Container a deriving (Functor, Applicative, Monad) via Identity

この非常に特殊な状況では賢明なインスタンスは1つしかありませんが、ほとんどの場合、インスタンスが1つしかなくても、インスタンスが何であるかを判断するのは簡単ではありません。