Monad 定律

monad 是支持>>=操作的 applicative 函子，>>=读作绑定，它的类型是：

(>>=) :: (Monad m) => m a -> (a -> m b) -> m b

即取一个 monad 和一个函数，返回一个新的 monad。monad 有专属的类型类——Monad，其定义如下：

class Applicative m => Monad (m :: * -> *) where
  (>>=) :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a
  fail :: String -> m a

return和 applicative 的pure一样，都是取一个值，把它放在能产生这个值的最小默认上下文中。>>=前面说过了，>>有一个默认实现，就是把一个 monad 直接换成另一个 monad 返回，fail不会被主动调用，在一些特定语法结构中，会被 Haskell 用于模式匹配。

一个类型要成为 monad 不仅要满足 Monad 类型类的条件，还要满足 monad 定律（虽然编译器并不会帮你检查）：

• 左单位元：return x >>= f 和 f x 等价
• 右单位元：m >>= return 和 m 等价
• 结合律：(m >>= f) >>= g 和 m >>= (\x -> f x >>= g) 等价