don't state that `Callable` is a special form by KotlinIsland · Pull Request #2214 · python/typing
Callable is still a special form for two reasons: (1) variance and (2) type checkers may use different attribute semantics than with a bare callable protocol, though that's not specified.
We can revisit this once ParamSpec variance is accepted.