[willvarfar]

(Python 3 has function argument and return annotations too)

I've made a static type checker for Python...

https://github.com/williame/obiwan