モナドと圏論の関係が、Haskell の本にちゃんと書いてあればいいんだけどな。