https://blog.cckim.cn/posts/typescript-type-infer/