I agree with Xiaodi. If your opinion is that we should have a generic Either
type over a "biased" Result
type, that's totally reasonable feedback to leave here, but this is not the place to debate an actual design for an Either
type or a general structural-sums feature.
Also, the review period for this proposal is technically over.