前回の記事究極のモナド「Idealモナド」を垣間見るではFreeモナドを構成して興奮して終わってしまったが、今回はイデアルモナドの仕組みについてもう少し考えてみる。 data Ideal f a = Pure a | Ideal (f a) Idealモナドは、純粋な値Pure aか、fというなに…