相关疑难解决方法(0)

申请人撰写,monad没有.

上述陈述是什么意思？什么时候比其他人更好？

该Typeclassopedia的单子变形金刚节介绍:

不幸的是,monad并不像applicative functor那样组合(如果你不需要Monad提供的全部功能,那么使用Applicative的另一个原因)

纵观类型的>>=和<*>,上面的语句,我不清楚.

(<*>) :: Applicative f => f (a -> b) -> f a -> f b
(>>=) :: Monad m => m a -> (a -> m b) -> m b

请解释一下"monad不像compative functors那样好."

我看了这个答案,但你能举个例子来帮我理解吗？