combine -- if `choice.this` and `other` have the same ordinal number, combine
the value stored in this `ta` and in other `ov` using `f.call va vb`.
Otherwise, return `e`.

This can be used to combine values of arbitrary choice types.