Type Alias Exact<P, I>

Exact: P extends Builtin
    ? P
    : P & { [K in keyof P]: Exact<P[K], I[K]> } & {
        [K in Exclude<keyof I, KeysOfUnion<P>>]: never
    }