「IOが副作用の実行をラップしていることはモナドとは関係ない」という話をしているのに、自前でモナドを作る話になってるのが全く日本語読めてないな