TypeScript variadic tuple type inference issue, for function that runs a sequence of “Result”-returning functions

Question

(Full code in TypeScript playground: link.)

I have a Result type for computations that either succeed with a value of type T or fail