おじいちゃんにオススメ
20年前のペーパーだけど型推論とオーバーローディングの関係は分かるはず
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/overloading.pdf