Mypy

MyPy & PEP 702 (@deprecated)

March 16, 2024