定義 Haskell 圏 : H Objects O := "Haskell で定義される type の集合" = {Int, Char, String, (Int -> Int), ....} Morphisms M := "Haskell で定義される全ての関数の集合" Haskell の Monad m から誘導される Endofunctor T Object mapping T_O: Type ->…