LemonScript: A typed programming language inspired by TypeScript and Python
plebussupremus1234.github.io
plebussupremus1234.github.io
Look at Haskell's faux union Either. It should be true that Either a a = a but of course, it isn't and you always have to destructure this.
In inference it's easier to just infer one most general type instead of a (possibly infinite) number of sets of types.
Basicaly wherever types are ambiguous, you'd need to try all alternatives and possibly compile all of them.
Faux unions are also underused but we do find them from time to time.
There's obviously a lot more inspiration from typescript, but they do list python second in the title, so that's fair.
(I still think that AS3 type hints were a viable approach.)