TypeScript: Can I use `never` to eliminate branches of a tagged union?

Question

I have a generic utility type called Result for operations that might return a value or might return an error:

<