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