DestructureTuple & DeepSelect

types.ts

export type DestructureTuple<T extends any[]> = T extends []
	? false
	: ((...tuple: T) => void) extends ((
			first: infer TFirst,
			...rest: infer TRest
	  ) => void)
	? { first: TFirst; rest: TRest }
	: false;

export type DeepSelect<TObj, TPath extends any[]> = DestructureTuple<
	TPath
> extends {
	first: infer TFirst;
	rest: infer TRest;
}
	? {
			[TKey in TFirst & keyof TObj]: DeepSelect<
				TObj[TKey],
				TRest extends any[] ? TRest : never
			>
	  }
	: TObj;