Andreas Rumpf

Can we focus on the question of whether `Branch as x` vs `Branch(let x)` with distinct meanings is a good design? Can it be avoided? Did anybody even notice?

I don't understand your idea.