monad说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？