IO functions lifted to MonadIO instances