Python模块的类型提示是什么？
我想为一个模块（类别名为'module'）添加（Python3）类型提示。typing包没有提供这个，而types.ModuleType()是一个构造函数，用于返回一个特定名称的模块对象。
例子：
import types
def foo(module: types.ModuleType):
pass
至少在PyCharm中的结果是
“在types.pyi中找不到参考ModuleType”。
请注意，Python对模块类型的类型提示无法回答我的问题，因为它没有解释ModuleType既是一个构造函数又是一个类型，如下所述。
