Python Type Checking Function Definition Example