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

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

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