I indeed have read Rossum's blog posts, but I haven't been following Python 3 at all, and only found out about annotations after looking at Pytyp, so that's def

I indeed have read Rossum's blog posts, but I haven't been following Python 3 at all, and only found out about annotations after looking at Pytyp, so that's definitely interesting and helpful, thanks.