[jlarocco]

> So the only time it will be the same is if a and b are the same type.

Which they will be in most of the example code he used. They're not the best examples.