Hi all,

It would be nice if MyPy supported a similar ellipsis notation to typing.Callable.

From the typing docs,

It is possible to declare the return type of a callable without specifying the call signature by substituting a literal ellipsis for the list of arguments in the type hint: Callable[..., ReturnType].

It would be nice if MyPy supported something similar - i.e.
# type: ... -> ReturnType
or
# type: (...) -> ReturnType

Which would basically evaluate the same way as # type: (Any, Any, Any, Any) -> ConcreteType for a 4-argument function.