型の議論をするならせめて
型変換、キャスト、コアージョンの違い
静的多態と動的多態の違い
ユニバーサル多態とアドホック多態の違い
パラメトリック多態と包含多態の違い
ぐらいは理解してくれないと議論が成立しない。