Re: [Python-ideas] RFC: Multiple Dispatch