さいきん、モナドについて調べてるんだけど、このページの
http://blogs.dion.ne.jp/keis/archives/5984552.html
「群論の四則演算と同じで、圏論のモナドも公理系の利便性を享受すればいいんだよ!」
という見方って合ってるのかな?