I think it's the reason for keyof You can try running the following code type A='a' | 'b' | 'c' | 'd' type C =keyof A;