Prioritizing Error Handling at Runtime for Type Safety

it seems that at runtime it would be more reliable to give priority to the error side — so that execution doesn’t proceed along the positive branch when there’s a type error.
What do you think?