Use PEP 484 variable annotations for inference?

[PCManticore]

In Python 3.6, it seems we can now use annotations for variables. We should think if we can use the annotations for improving the inference, as long as the annotations respect a standard we can understand, such as PEP 484.