如何在不丢失类型安全性的情况下，通过函数链构造联合类型？

• 标题：用井号 # 定义，井号数量对应标题层级（比如 # 一级标题、## 二级标题）
• 列表项：以短横线 - 作为开头
• 强调文本：把需要强调的内容用星号 * 包裹（示例：*重点内容*）
• 代码或命令：用反引号 ` 包裹代码片段（示例：`git commit -m "update"`）
• 引用文本：在引用内容前加大于号 >（示例：> 这段是引用的内容）
• 链接：格式为 [链接显示文字](目标网址)
• 图片：格式为 [图片描述文字](图片网址)

内容的提问来源于stack exchange，提问作者DoHn