De-~[] IO utils