This will probably look something like <A: keyof<ClassType>(A, index<ClassType, A>) -> (), and the feature you’re asking for is called bounded generics which I already said further up in the thread in response to Dekkonot that it is planned.
4 Likes