index signature インデックス型： {[k : T] : S} の形で書ける型- いや違う、オブジェクト型やマップ型のインデックス集合の型を index signature と言っているのかな。
- indexed access 型： T[K] という二項の型演算、または型演算で作られる型。特定の型や型の集合ではなくて型関数。
- Mapped Types ： index signature とプロパティ値の型で定義される型。型の集合＝カインドのようだ。Map<X, Y> はまた別。
- conditional type : 型の三項演算子。
