>>463
わかった。
a ->IO -> (b,IO) でもいい？

それで、
結局、モナドによって、副作用はなくなったのあるの？
参照透明性は確保されたのされていないの？