export type Literal = T extends A ? string extends T ? never : T : never