z.mergeTypes

type mergeTypes<A, B> = [k in keyof A | keyof B]: k extends keyof B ? B[k] : k extends keyof A ? A[k] : never;