Is it just me or does type checking python break the idea of python? If you wanted type checking shouldn't you just use a different language that has a sensible type model to begin with?