複数引数の型を見て処理を割り振る話(メソッド・ディスパッチだっけ？)について。

多くのOO言語では、静的な解決しかできない。
総称関数ベースなら、呼び出された時の型を見て動的に処理を割り振ることができる。
これがメリット？