Use `ParamSpec` to refine type hints.