Add MonadIO constraints to (Base m)