Lifted IO operations from the base library