>>941
なるほど。Haskellにおけるモナドの全体像が見えてきた気がする。

参考までにもう一つ聞きたいんだけど、圏論の道具がプログラミングに使えるっていうのは、
いちおう理論的な裏付けがあるんだよね？ もし三行で説明できる内容なら教えて欲しい。