インスタンス化クラスの型はコンパイル時に解決するから、実行時の多態性を実現する目的には向かない。