> There’s also no way to make imports of the form from module import * lazy

I'd say if you see

    from typing import Final
    [...]
    __all__: Final = ("a", "b", "c")

Its probably 99% safe to pull that from a quick run over of the AST (and caching that for the later import if you want to be fancy)

Of course, should one be doing a star import in a proper codebase?