よく知らずに想像で書くけど、
コンパイルのときに型推論できるところは最適化できるとかかなあ。