情報科学系の人は言っちゃ悪いが一体何をしたいのか本当にわからん。
ソフトウェア工学的に確かにモナドは疎結合を実現する手法として意味があるし本当は主にそういう方向性から
研究するべきなんだけど、それ以外はそれほど勉強する必然性が無い。Applicativeファンクタ？が大事とか全然違うところ行ってるし。

定理自動証明という話もあるが、あれは圏論から行くのは確実に迷う道で、あれは直接数理論理学から行くべき話だ。