日本語で言えば「型添字」

Type Familyの文脈での型パラメータのこと

ref 型族とは型の族のこと

複数形は2種類ある

type indices

type indexes