什么是Monad?
trait Monad[+T] {
def flatMap[U]( f : (T) => Monad[U] ) : Monad[U]
def unit(value : B) : Monad[B]
}
Monads 就是一个values的容器，并且这个“容器”必须有一个flatMap和一个unit(v)操作.
flatMap 将monad中的一个值转换为仍在相同monad类型中的另外一个值。
https://my.oschina.net/guanxun/blog/475527
Monad typeclass不是一种类型，而是一种程序设计模式（design pattern），是泛函编程中最重要的编程概念，因而很多行内人把FP又称为Monadic Programming。这其中透露的Monad重要性则不言而喻。Scalaz是通过Monad typeclass为数据运算的程序提供了一套规范的编程方式.
https://www.cnblogs.com/tiger-xc/p/4893572.html
上两期我们讨论了Monad。我们说Monad是个最有概括性（抽象性）的泛函数据类型，它可以覆盖绝大多数数据类型。任何数据类型只要能实现flatMap+unit这组Monad最基本组件函数就可以变成Monad实例
https://yq.aliyun.com/articles/30543
Monad定义了unit和flatMap两个函数。Monad都是Functor，因为我们可以用flatMap+unit来实现map。我们可以定义Monad继承自Functor特质。
trait Functor[F[_]] {
def map[A, B](fa: F[A])(f: A => B): F[B]
}
trait Monad[M[_]] extends Functor[M] {
def unit[A](a: A): M[A]
def flatMap[A, B](ma: M[A])(f: A => M[B]): M[B]
}