[Python-ideas] Re: type hints : I'd like to suggest allowing unicode → as an alternative to ->