FWIW MyPy is not very conformant: https://htmlpreview.github.io/?https://github.com/python/typ...