Because `Value.function` is currently a stub that takes `Function` so extracting separate parts of the function is really unnecessary, but having tree typed as `Function` is important. In the future, when `Value.function` is elaborated, we can change this clause. Makes sense?