Haskell 98 ついでに

　圏論DBを勉強したついでに　PLでモナドを勉強

　はやりの　言語で　モナドを 

    Keisli圏　Keisliトリプル　までやって

　Haskell のモナドクラスのインスタンスが　Keisliトリプルに対応し

　　モナドに対応することを証明する

　これを　Haskell98で　展開するところで