Type alias Exact<P, I>

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