Re: [Python-Dev] [rfc] map enhancement