Question

我正在尝试安装应用Termite - Util但我在第14行中遇到此错误

newtype CE m a = CE {unCE :: m a} deriving (Monad)

错误说：

ContextError.hs：14：45：没有实例（Applicative（CE m））源自“衍生”数据类型声明的子句可能的修复：使用独立的派生实例＆＃39;宣言，所以你可以自己指定实例上下文为（Monad（CE m））
派生实例时

中提出的解决方案

添加：

实例Applicative（CE m）where 纯=回归（＆lt; *＆gt;）= ap

但我再次收到此错误

ContextError.hs：14：45：没有实例（Functor（CE m））源自“衍生”数据类型声明的子句可能的修复：使用独立的派生实例＆＃39;宣言，所以你可以自己指定实例上下文为（Monad（CE m））
派生实例时

我真的不知道如何继续，我是Haskell的新手

提前致谢。

Answer 1

在ghc 7.10.1 AMP提案中。在此之前，您可以在没有Monad实例的情况下定义Applicative实例，在7.10.1之后，如果要定义Functor，则必须定义Applicative和Monad }。