Throw -> throwIO, where the types work out.