Kind-indexed types are types indexed over kinds, defined by giving a case for both * and k → k'.
Kind-indexed typesは*とk → kの両方のケースを与えることで定義された種別に対してインデックス付けられた型である。