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;