В отличие от TypeScript, если вы присваиваете переменной значение по умолчанию, которое имеет тип, эта переменная подразумевается как всегда имеющая тип этого значения по умолчанию. Это не так с mypy и ty.