Type alias ReverseMap<T>

ReverseMap<T>: {
    [P in T[keyof T]]: {
        [K in keyof T]: T[K] extends P
            ? K
            : never
    }[keyof T]
}