Strict type checking of python function signatures