一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？* 之前了解了下Monad，后来一段时间没碰，最近研究Pa...