the opposite extreme of putting

sys.path

into

MYPYPATH

has

mypy

checking stdlib code, which does not work out very well (hence why there are type stubs)