@patrick you want the parameterized generic instance Example[str] to be “inferred” by the tools? I don’t think this is ever likely to be implemented. It’s a long stretch.

I think this is why dataclasses generate code rather than demand this amount of reasoning from the type checkers.

@slott56 @patrick

Also, dataclasses support in mypy is implemented as a plugin. It would be hard to make it work otherwise.