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

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

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

TypeScriptの関数型ライブラリのfp-tsには型クラスとしてSemigroupがいる。
その紹介。

https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html