Python Type Checking Functional Depression Test