型＝値の集合と思ってると IO でラップされた型は一体どんな値なのかと気にしてしまうんだね。