Monad不过是自函子上的幺半群罢了

Monad不过是自函子上的幺半群罢了。
学了Haskell的同学，凡是看不懂这句话的，都是大学离散数学课没学好的。
当然，我也没学好。强行看了一下范畴论才看懂这句话。唉，可悲可叹。