>型推論が正しく実行されているいい例だよな。

型推論は正しく実行されている？
型推論できるかどうかの例なのに、
正しく実行されているかをどうして問題にする？