>>225
何に対する反例なのか、話の流れが見えないんだが。
名前的型付けにおいて、型の互換性を指示する方法として継承以外のものがあるか否か(>>171)という話だぞ。