https://blog.cckim.cn/posts/typescript-advanced-intersection/