```py from typing import Callable, Concatenate, Generic, ParamSpec, TypeVar R = TypeVar("R") P = ParamSpec("P") def f() -> Callable[[Callable[Concatenate[str, P], R]], Callable[P, R]]: def decorator(fn: Callable[Concatenate[str, P], R], /) -> Callable[P, R]: ... return decorator ``` [playground](https://mypy-play.net/?gist=98ba3405674f7a96800b1964b3e8d2af&mypy=latest&python=3.11) ``` Incompatible return value type (got "Callable[[Callable[[str, **P], R]], Callable[P, R]]", expected "Callable[[Callable[[str, **P], R]], Callable[P, R]]") ```