Haskellは純粋関数型言語でありながら、IOを通じて副作用を扱えます。この記事では、IO型の内部構造と「値制限」がないことによる型の一般化の危険性について詳細に解説しています。特に、StateモナドやIdentityモナドでは型の一般化が可能ですが、IOではそれが制限されており、安全性が確保されています。しかし、内部構造に踏み込めば、メモリ安全性を破壊するコードも書けてしまうことが示され、IOの安全性はあくまで言語設計に依存していると論じられています。