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

用矩阵乘法计算最短路径对，基于半环，用Scala实现