Use MonadIO instead of IO in positive arguments