Re: [Python-ideas] Make map() better