Type innotations are a great idea, i think for smaller code basis, something like mi pic will prove to be fiable. I could see that happen at instagram, for example. But in general, most people haven't annutated their code completely and correctly. And so if you were to switch to using something like my parc, you'd find that that basically, it wouldn't work a large number of cases.