Re: [Python-ideas] Proposal: Use mypy syntax for function annotations