[qwefsdf]

That's an Optional[int]. It's not "mixed types", it's a union type.

[ris]

That is merely a detail of how the typing module has decided to set up convenient aliases. Treated by the language (and likely compilers) as different types.