Должен ли я реализовать Аппликативный и Functor для реализации Monad

Question

Я пытаюсь реализовать экземпляр Monad. В качестве более простого примера предположим следующее:

Это должна быть стандартная реализация, возможно, насколько мне известно. Однако, это не компилируется, поскольку компилятор жалуется:

Нет экземпляра для (Applicative Maybee)

и точно так же он хочет экземпляр Functor когда Аппликативный дается.

So: Простой вопрос: Должен ли я всегда применять Functor и Applicative, прежде чем я смогу реализовать Monad?

Answer 1

С GHC 7.10 и выше, вы должны реализовать Functor и Applicative. Определения классов для Monad мандата суперкласса экземпляры:

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 

Answer 2

Да, это было не так, это изменение, которое было введено в ghc7.10 под именем Functor-Applicative-Monad Proposal.

Answer 3

Обязательно определять экземпляры для 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