对于大多数刚刚入门函数式编程的同学来说，monad（单子、又叫单体）可能是这里面的一道坎。你可能对 map 、 flatMap 以及 filter 再熟悉不过，可是到了高阶的抽象层次上就又会变得...

monad 是函数式编程中的抽象概念，是一种高度的数学抽象，关于 monad 的详细介绍请看这里： Functors, Applicatives, And Monads In Pictures ...

大多数关于 monad 的教程都和老太太的裹脚布一样，又臭、又长，说不清、道不明。当然我也不伟大，没法保证我写的一定更明了，更生动，甚至更屌？不过我至少可以确定，我这篇更简洁。浪费不了你多少时间的！

函数式编程有一个重要概念，叫做Monad。 网上有很多解释（这里和这里），但都很抽象，不容易看懂。我尝试了好多次，还是不明白Monad到底是什么。