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

継続渡しなHaskellライフ - モナドとわたしとコモナド の流れで． 要約すると，元々 fb :: Int -> Either Int String fb n = case n `gcd` 15 of 15 -> Right "FizzBuzz" 5 -> Right "Buzz" 3 -> Right "Fizz" _ -> Left n fizzbuzz1 :: Int -> String fizzb…