[Python-ideas] Re: Enum should use __class_getitem__