fp-ts ，或者说一众 FP 库，可以看一下。基本是抄了当年 OCaml 的操作，用 Module System 模拟 HKT ，然后把一些常见的代数结构搬进了 TS 。

其实热门一些的项目可以看看 Vue 3 的几个编译时宏是怎么定义的；官方的几个新的类型，比如递归的 Awaited 是怎么随着 tsc 一步步优化进标准库的；官方的 Blog 也值得看看，尤其注意几个重要的时间节点，比如 Template String Literal 、递归类型。

最后试着实现简单的运行时 pick 、rename 、omit 这种工具函数，困难的可以试试 encoding 和 decoding ，参考 zod 或者 io-ts ，看看后者怎么把 Lens 搬到 TS 里。

P.S. 上面几个库的衍生品也很有意思