IOを「世界状態」の関数だと思うのは方便みたいなもので、
個人的には命令を表す抽象型だと思っておく方が誤解が少ないと思う
関数だと思うことで目から鱗が落ちる人も居るみたいだから全否定はできないが