1.単一の名前が、複数の異なる関数を指している
2.単一の名前が指す(単一の)関数が、複数の異なる型で使用できる

指示とは、哲学である