説明するわけではないです。メモです。

Kleisli圏 をキーワードに調べると気になるということがわかったのでメモしておきます。

その中で気になったもの

単にHaskellをするのに圏論の理解は不要です。使うだけなら馴れるだけで十分だと思います。モナドの表現力がどのようなところまであるのか、そのあたりを知りたいのです。