TypeScriptとは異なり、型を持つデフォルト値を変数に与えると、その変数は常にデフォルト値の型を持つことが暗黙的に推測されます。mypyやtyの場合はそうではありません。