>結局、モナドによって、副作用はなくなったのあるの？
>参照透明性は確保されたのされていないの？
隔離されて実行を後回しにされてるだけだからmainの内側の世界として見れば副作用は起こらない
実行環境含めての話ならそりゃ当然ある
じゃないと何の役にも立たない