KittyAttributeの引数supが、定義されている以外のものである可能性も考慮しとけよ。
[Kitty((KittySup)(-1), "SAF")]
なんて渡し方もできるんだから。