TS 類型體操：圖解一個(gè)復(fù)雜高級(jí)類型

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

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