関数型はデータ型というものを非常に重視する。
データ型によって値をモデリングし、どういった性質のデータなのかを表現する。
更に型システムと組み合わせることでデータ型はさらなる力を得る。

型システムによってデータ型を抽象化するときに利用する型の一つにHigher Kinded Type（高階型）がある。
tsでは高階型は直接サポートされていないがそれをエンコードすることはできる。

この記事では高階型とはそもそも何なのか、それをTypeScriptでどの様に実現するかを説明する。