The Importance of Gradual Typing in Python

I'm totally addicted to it at this point. Python type in's I use them exclusively. The ternary operator really does annoy me because I end up having to only use TS ignore or do it as any which is like ugly. In TypeScript and I've only done a little bit of TypeScript so I don't have a very good understanding of a lot of language parts of it but does TypeScript have the ability to do let's say you're doing a if if else and you have two different types that are returned between the the true and the false? Does TypeScript turn that into an ADT some type of those two types. So TypeScript will know if if there