I wonder if we need something similar to Annotated[type, arg, ...]. Here for the static type checker ‘type’ is used, but the other arguments can be types that the IDE uses for suggestions.<div dir="auto"><br></div><div dir="auto">Then you can write ** as -&gt; Something[float, complex], and Jason as -&gt; Something[Any, dict, list, float, int, bool, None]. (Int is not really needed.)</div><div dir="auto"><br></div><div dir="auto">I don’t have a good suggestion for a name.</div><div dir="auto"><br></div><div dir="auto">—Guido</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">--Guido (mobile)</div>