Monad should be `IO`.