Why a #type system is not something you want to bolt on onto #python: https://mail.python.org/pipermail/python-dev/2015-April/13926...
OTOH MyPy does it right. ‎- 9000