(possibly `ErrorExceptions`)