huozhi · January 16, 2023 17:37
diff --git a/get-keys.ts b/get-keys.ts
 type KeysOfUnion<T> = T extends T ? keyof T : never
diff --git a/narrow-type.tsx b/narrow-type.tsx
 type Narrow<T> = T extends Function
  ? T
  : never | T extends string | number | boolean | bigint
  ? T
  : never | T extends []
  ? []
  : never | { [K in keyof T]: Narrow<T[K]> }
	type Narrow<T> = T extends Function
	? T
	: never \| T extends string \| number \| boolean \| bigint
	? T
	: never \| T extends []
	? []
	: never \| { [K in keyof T]: Narrow<T[K]> }