IO型は入出力のアクションを表現するデータ型である
IO型は型構築およびアクションの結合に対してモナド則をみたす
ゆえにIO型はモナドになる

入出力とモナドは関係が無い

ということが何度言われてもわからないらしい