Re: [Python-ideas] dictionary constructor should not allow duplicate keys