Remove unneeded MonadIO constraints

If any additional clarification is needed, just let me know.