GvR Proposal: Use mypy syntax for function types annotationsmail.python.org2 pointsmicampe12 years ago