Python Type Checking Functional Depression Definition