IOのテストってたいへんだ．これをどうにかするために，先人たちは色々考え， 利用対象の特定IOアクションを慎重に取捨選択し，MonadHogeIOのような型クラスによりインターフェースを与えてからそのインターフェース上のアクションとして実装する．実行時は…