モノイドからモナドを作る話は： モノイドからモナドを作る 単一代入のモノイド、スタンピングモナド、モナド工場 C = (C, , I) をモノイド圏として、C内のモノイドの圏を Monoid(C)、C上のモナドの圏を Monad(C) とすると、Monoid(C)→Monad(C) という関手が…