泛型函数的强类型返回类型

Question

尝试强类型化泛型函数的返回类型，该函数返回一个对象，其值基于该泛型

function val<T>() {
    function update(id: T): T {
        return id;
    }
    return {
        update,
    };
}
type a = ReturnType<typeof val>;

即。如何获得下面的“a”以显示详细的返回类型？ （即不显示所附图片中的未知数）

编辑

我的例子最像评论中链接的类似帖子中的。我的困难是我的函数是一个钩子，所以我不能像这样包装它？现在我解决这个问题的唯一方法似乎是手动声明一个接口，但我宁愿让一些打字稿伏都教为我隐式派生 ReturnType