为什么Flow需要对导出函数的参数进行注释？

以下代码（流动游乐场 https://flowtype.org/try/#0PQKgBAAgZgNg9gdzCYAoVUCuA7AxgFwEs5swBDACgAcBKMAbwF9UBbOAE0xgFMA6bgB5U4AJ3wBnMAF5yQA):

/* @flow */

function a(p) {}
module.exports = a

抛出异常

3: function a(p) {}
              ^ parameter `p`. Missing annotation

这是为什么？我期待那种类型any将自动假定参数p.

来自文档 https://flowtype.org/docs/type-annotations.html#module-boundaries:

模块边界

Flow 需要在模块边界处进行注释。这允许 Flow 独立分析模块，从而提高跨模块边界检查类型的性能。我们发现这也有助于提高模块接口的自记录性质。