[alew1]

If-then-else is pattern matching on a value of type Bool. I think of general pattern matching on algebraic data types as a generalization.