maybe call this `unbranch` or `merge`? `merge` seems better.

In any case, this is the reverse of `branch` and reduce is a term that means many other things.