Advance Typing
Typing matters!
In general, type ambiguity forces the compiler to jump through many hoops to make sure it can accomodate the ambiguity. All of this adds extra overhead, which you should never pay unless you have absolutely no choice (or optimization is not a concern).