Python Type Checking Functional Depression