Monad什么的其实也没那么恐怖。这篇文章希望能稍稍做到怯魅化。另外Cats提供了很多辅助类，理解起来其实也没那么难。