I believe the question was about inferred static typing for union types. Python does not do any static type inference. Also, I'm not sure how a union type coul

I believe the question was about inferred static typing for union types. Python does not do any static type inference. Also, I'm not sure how a union type could be distinguished from an error during type inference. Maybe a nullable, but otherwise it'd be very tricky.