Предложение: аннотации функций в стиле mypy

Гвидо ван Россум предлаагает рассмотреть возможность включения в python аннотаций уточняющих допустимые типы данных в сложных структурах