ハスケル、（インスタンスMの）インスタンスがありません

Question

私のコードを見てください。 GHCiのは

（ApplicativeのM）なしインスタンス は「モナドM」

のインスタンス宣言でインスタンス宣言 のスーパークラスに起因すると言われ、私はこのエラーを理解していない、と私はしないでくださいそれを修正する方法を知っている。私たちを手伝ってくれますか ？

newtype M a = StOut (Stack -> (a, Stack, String)) 

unStOut (StOut f) = f 
--unStout is used to extract the emeded function from monadic capsule 

instance Monad M where 
    return x = StOut (\n -> (x, n, "")) 
    e >>= f = StOut (\n -> let  (a, n1, s1) = (unStOut e) n 
            (b, n2, s2) = (unStOut (f a)) n1 
          in  (b, n2, s1++s2)) 

Answer 1

チェックアウトの定義Monad。長い話短い - Monadになるために、MはApplicativeでなければなりません。これはMがFunctorであることを必要とする。

これはエラーの内容です。

Answer 2

エラーはまさにそれが言っていることです：あなたはMにアプリケーションインスタンスを与えることを忘れました。

すべてのモナドは、適用ファンクタです。歴史的な事故では、過去にこの事実を明示する必要はありませんでしたが、これはジェネリックコードを書くときにあらゆる種類の不都合につながります。 The omission has since been fixedですので、Monadインスタンスを定義するには、先にFunctorとApplicativeインスタンスを定義する必要があります。