Typescript recursive switch type

recursive-switch-type.ts

type Switch<T, CaseList extends CaseLike[], Default> = {
  case: ((...caseList: CaseList) => any) extends ((current: infer C, ...rest: infer R) => any)
    ? C extends CaseLike // we must ensure in that to access 'case' property of C
      ? C['case'] extends T
        ? C['then']
        : R extends CaseLike[] // we must ensure in that to pass R as the third argument below
          ? Switch<T, R, Default>
          : never // this branch will never occur: R is always CaseLike[]
      : 'this branch will never occur: C is always CaseLike'
    : never; // this branch will never occur because of condition below
  default: Default;
}[CaseList extends [any, ...any[]] ? 'case' : 'default'];