ToEnum

export type ToEnum<A extends Record<string, Assert<any>>, K> = K extends string
  ? {[K_ in K]: A[K] extends Assert<unknown>
    ? O
    : never}
  : never