Although I do like typed languages, I agree that we should leave python alone. I think this trend of adding types to everything is harmful. Just use a different language if you like static types! You'll have a better experience anyway.