圏論DBを勉強したついでに PLでモナドを勉強 はやりの 言語で モナドを Keisli圏 Keisliトリプル までやって Haskell のモナドクラスのインスタンスが Keisliトリプルに対応し モナドに対応することを証明する これを Haskell98で 展開するところで