（おそらく） length とかが出てくる keyOfはランタイムでの動作で、型レベルにも keyOf という型レベル計算が定義されていて、その2つの違いってことかな？