Представляем simtypes: лёгкая проверка аннотаций типов во время выполнения.
Проверяет общее соответствие Python-значения аннотации типа, не перебирая коллекции рекурсивно и не изменяя значение.