The program still branches (decides which code path to follow) - it just does it with a different mechanism, for instance pattern matching.

Yes, pattern matching fits the bill, thanks.

I think codesearch can answer you: http://www.google.com/codesearch?q=if+lang%3Ahaskell

"if"s in Haskell work exactly like the ternary operators, just as I said. I was using the article's differentiation of "branching" and "microbranching" and stating that I haven't seen the former in functional languages.

The link provided doesn't contradict any of this, actually it does quite the opposite.