After `PEP 655` support is merged (https://github.com/python/mypy/pull/10370) we need to document how `Required` and `NotRequired` work.
Activity