だって、全要素チェックとかおかしい気が。型の互換性だけを見るのがいいと思う。共変性は許すにしても。

7:30 AM

あー、違うのか、値だから一度アップキャストしたらダウンキャストできなくなるのが問題なのか。