OK, I'll merge this. I think you're probably right about the mypy issues, this is an exceedingly tricky area; PEP 492 is not really using the right terminology, it's more about implementations... http://bugs.python.org/review/28644/