[monadic2]

Why do you consider a conditional (I have no clue why you call it a “branch”, a semantically meaningless term at the language level) hard to reason about?

[BoiledCabbage]

Responded here: https://news.ycombinator.com/item?id=22186544