prelude/types.js 中可能有被忽略的错误?

我正在研究重构 prelude 的可能性，然后碰到了 #1057。对于这个特定文件中的更改，是否真的如此，因为 `typ` 在函数中是一个 `var`，而不是全局变量？