構造的部分型に実行時型情報を付与する、という話になると矛盾が生じて別の問題が起きそう。