How conformant is this, compared to e.g. mypy?
FWIW MyPy is not very conformant: https://htmlpreview.github.io/?https://github.com/python/typ...
FWIW MyPy is not very conformant: https://htmlpreview.github.io/?https://github.com/python/typ...