Hi folks! I'm sending this email because I'd love to work on introduction support for Intersection to python's typing capabilities. I'd love to know if someone is already working on this and if not, I'd like to try and work on it, but I'd need some support if possible ^^ I've sketched out a basic plan[0], basically the initial idea is to write an initial PEP based on the discussion[1] around typing.Intersection, make a prototype implementation and then try to get feedback on the PEP and implementation. Does that make sense? Would someone be able to help me with this? And, again, if someone is already working on this, let me know, I'm ok with that too :D [0] My rough plan and basic notes: https://hackmd.io/0ymmrUtGTG-CEiw32qVfiQ [1] Issues regarding typing.Intersection: https://github.com/python/typing/issues/213