これも特殊化されたら K 個に展開された版が生成されるのかな？