Type alias DeriveConstType<T>

DeriveConstType<T>: T extends Primitive
    ? {
        [K in keyof T]: K
    }
    : T extends []
        ? T
        : T extends object
            ? {
                [K in keyof T]: T[K] extends Primitive
                    ? DeriveConstType<T[K]>
                    : DeriveConstType<T[K]>
            }
            : never

Narrows a type it's specific value.