Python Type Safety In Python If You Executed