Re: [Python-ideas] adopt an enum type for the standard library?