the idea behind "error handling" is really just to lift all errors into the type system