I'm quite excited about this - function annotations are a neat idea but focusing them on type-checking makes them a lot more useful (I can't really think of any other use case to be honest).<p>I have a sweet spot for Python and I think it could benefit from a little optional type hinting.