我想在每個函數定義之前添加一個語句，例如 function a() {
var b = function c() {};
}
成爲 foo(function a() {
var b = foo(function c() {});
});
我想用下面的訪問巴別塔來實現： var findFunctionVisitor = {
Function: functi
這是一個依賴型lambda演算的語法。 data TermI a = Var a
| App (TermI a) (TermC a) -- when type-checking an application, infer the type of the function and then check that its argument matches the domain