Type Alias ObjectTypesToUnion<T>

ObjectTypesToUnion: T extends Record<keyof any, never>
? never
: T extends { [Key in keyof T]: infer Type } ? Type : never

Takes all the types of the values in an object and returns it as a union type.