Outside of the mis-hinted types, the code doesn’t do anything wrong. Python type-checking systems will, whenever possible, try to infer types. ... [<element type>]. Optional and Union types.