我必须实现Applicative和Functor来实现Monad - Must I implement Applicative and Functor to implement a Monad

我正在尝试实现Monad实例。 作为一个更简单的示例，假设以下内容： 据我所知，这应该是Maybe的标准实现。 但是，这不会编译，因为编译器抱怨： 没有实例（Applicative Maybee） 同样，一旦给出Applicative，他就想要一个Functor实例 ...

是否有“ApplicativeIO”课程？ - Is there an “ApplicativeIO” class?

有没有什么地方在Hackage一个类型类类似于MonadIO但对于Applicative S，使人们得以轻松举起IO行动，以“应用性成分栈”基于IO ？ 如果存在这样的类型类，是否会因实施“ 申请Monad提案”而过时？ 该提案是否涉及MonadIO对Monad约束的MonadIO ？ ...

为什么Applicative应该是Monad的超类？ - Why should Applicative be a superclass of Monad?

鉴于： 它似乎被认为是一项法律： 或者更简洁： Control.Applicative的文档说<*>是“顺序应用程序”，这表明(<*>) = ap 。 这意味着<*>必须从左到右依次评估效果，以便与>>= ...保持一致但 ...

Haskell - 你有一个不是应用函子的monad吗？ - Haskell - can you have a monad that is not an applicative functor?

在吉姆·杜伊（Jim Duey）在幻灯片13中的这组幻灯片中 - 他建议所有Monad都是适用的编织者。 在Haskell 7.7编译器输出中 - 我看到以下（另一个例子在这里 ）： 'Parser'是Monad的一个实例，但不是Applicative - 根据Applicat ...