TS 類型體操：圖解一個復雜高級類型

之前我們零散地了解了一些 TypeScript 類型體操的套路，但是沒有綜合練習下
，今天就來做個高難度的體操 ，它會綜合運用模式匹配 、構(gòu)造 、遞歸等套路，對提升類型編程水平很有幫助。

我們要實現(xiàn)的高級類型如下