This is cool. And I appreciate the cheeky comment about not using this program if your IDE or whatever does type checking already :)

But honestly, after I realized I appreciate types being enforced, I started writing in different languages. I rarely return to Python unless I'm scripting something that doesn't require longevity.