别别别，业务代码真别用复杂体操。

TypeScript 你区分清楚哪些是 type ，哪些是 js 的代码就很阿弥佗佛了！日常用起来基本不会有什么问题。最低标准是一个逻辑单元对外的要有类型，对内实在没办法的地方就用 any 与 as 。没必要追求处处都要类型自洽。

进阶一点，知道 narrowing 、一些类型自动推导的逻辑即可。

类型体操，即便是写 lib 也不是太推荐用复杂的类型体操。太多次的变换、跳转，让用 lib 的人查起来也是很费力。