haskell - なぜ IO は共通モナドではなくモナドなのですか?

Question

出力は効果的な計算です。したがって、それをモナドにカプセル化することは理にかなっています。しかし、入力は状況依存の計算です。したがって、それをコモナドにカプセル化する方が理にかなっています。

しかし、Haskell では入力と出力の両方がIOモナドにカプセル化されています。なんで？