More relaxed MonadIO instance