少し間が空いてしました。前回はアクション（IO操作の仕様書）とモナドが何とかつながったところで終わりました。 今回は両者の関係をもう少し緻密に検討してみましょう。 ==== アクションとモナド要件 (>>=)演算を備えただけでは「なりかけモナド」に過ぎま…