Lift everything into IOThrowsError
Copy to ex7