I guess you could, near the beginning of your program's entry point, decorate the importlib's functions to decorate the top-level functions of imported modules

I guess you could, near the beginning of your program's entry point, decorate the importlib's functions to decorate the top-level functions of imported modules with "@beartype" decorator. Or there is always find+grep+sed, if you prefer a different style of madness.