この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です．12月といえば，万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節だが，今年もそういう方針で，TypeScript での型レヴェル計算について書く．型レヴェルでの自然数などが定義できると，リストに型レヴェルで長さを付けるこ…