advanced SimpleNamespace typing

the same way we now have TypedDict, it would be nice to have typed SimpleNamespace with equivalent semantics, so that nested structures can be easily checked. eg

class MySubType(TypedSimpleNamespace):
   bar: int

class MyType(TypedSimpleNamespace):
   foo: MySubType

# correct
a: MyType = SimpleNamespace(foo=SimpleNamespace(bar=1))
# incorrect, `bar` should be a number
a: MyType = SimpleNamespace(foo=SimpleNamespace(bar='abc'))

この issue にはリポジトリのファイルもテストのエントリポイントも示されていないため、まず要求されているネストされた TypedSimpleNamespace のセマンティクスを PEP 589 TypedDict と比較してください。実装とテストを探す前に、示されている有効な例と無効な例について、型チェックの動作と対象範囲を明確にしてください。