重读范畴论，看到了代数类型的内容，记录一下

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