我必须实施 Applicative 和 Functor 才能实施 Monad

Question

我正在尝试实现一个 Monad 实例。作为一个更简单的示例，假设如下：

data Maybee a = Notheeng | Juust a 

instance Monad Maybee where
   return x = Juust x
   Notheeng >>= f = Notheeng
   Juust x >>= f = f x
   fail _ = Notheeng

据我所知，这应该是 Maybe 的标准实现。但是，这不会编译，因为编译器会抱怨：

No instance for (Applicative Maybee)

并且类似地，一旦给出 Applicative，他就想要一个 Functor 实例。

所以：简单的问题：在实现 Monad 之前，我必须始终实现 Functor 和 Applicative 吗？

Answer 1

是的，以前不是这样，这是在 ghc7.10 中以 Functor-Applicative-Monad Proposal.

的名称引入的更改

Answer 2

必须为Functor和Applicative定义实例（第二个是新版本Haskell中的新要求），但这实际上没什么大不了的，因为如果你不想手写你自己的实例你可以只使用这些：

import Control.Applicative (Applicative(..))
import Control.Monad       (liftM, ap)

-- Monad m

instance Functor m where
    fmap = liftM

instance Applicative m where
    pure  = return
    (<*>) = ap

Answer 3

对于 GHC 7.10 及更高版本，您必须实施 Functor 和 Applicative。 Monad 的 class 定义要求超级 class 实例：

class Functor f => Applicative f where ...
class Applicative m => Monad m where ...

请注意，一旦您拥有 Monad 实例，就可以不费力地通用定义 Functor 和 Applicative 实例：

import Control.Monad

-- suppose we defined a Monad instance:
instance Monad m where ...

instance Functor m where
    fmap = liftM

instance Applicative m where
    pure = return
    (<*>) = ap

我必须实施 Applicative 和 Functor 才能实施 Monad

Must I implement Applicative and Functor to implement a Monad

monads

haskell

functor

applicative

fam-proposal