[Python-ideas] Re: Suggestion: annotated exceptions