Enumerated Types as https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html

enumtypes.ts

// https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html


type Last<T extends any[]> = T extends [...infer R,infer L] ? L : never;
type D = ['Segunda', 'Terça', 'Quarta', 'Quinta', 'Sexta', 'Sábado', 'Domingo']
type DProx
  <I = D, R = {}, H extends any = ''> =
  I extends [infer Head, infer Next, ...infer Tail]
    ? DProx<[Next, ...Tail], R & Record<Head, Next> & Record<Last<D>, D[0]>>
    : { [K in keyof R]: R[K] }

const d : DProx['Domingo'] = 'Segunda'
const d : DProx['Terça'] = 'Quarta'