Python Intersection Type