あるオブジェクトのこのフィールドを書き換えたいことあるでしょ。 type A: { x: X // => Yにしたい!!! } まあこういうときはA2 extends Aみたいなのを宣言するか，まあいろいろやりようはあると思うんですが，これがネストしてたりするわけですよ。5重とか…