that might just imply that `typeshed` needs more t...