Mongo Typed ObjectID

example.ts

import { ObjectID } from "mongodb";
import { ObjectIDToString } from "./types";

interface PersonModel {
  _id?: ObjectID;
  created: number;
  lastLogin: number;
  profiles: Array<{
    profileId: ObjectID;
    title: string;
    created: number;
    contentIDs: ObjectID[];
  }>;
}

export type Person = ObjectIDToString<PersonModel>;

types.test.ts

import { ObjectID } from "mongodb";
import { ObjectIDToString } from "./types";

type Convert1 = ObjectIDToString<number>; // $ExpectType number
type Convert2 = ObjectIDToString<string>; // $ExpectType string
type Convert3 = ObjectIDToString<never>; // $ExpectType never
type Convert4 = ObjectIDToString<any>; // $ExpectType any
type Convert5 = ObjectIDToString<number[]>; // $ExpectType number[]
type Convert6 = ObjectIDToString<string[]>; // $ExpectType string[]
type Convert7 = ObjectIDToString<ObjectID>; // $ExpectType string
type Convert8 = ObjectIDToString<ObjectID[]>; // $ExpectType string[]

// Advanced Test
type Convert9 = ObjectIDToString<{
    id: ObjectID;
}>;
type Convert10 = ObjectIDToString<{
    id?: ObjectID;
    title: string;
    duration: number;
    contentIds: ObjectID[];
}>;
type Convert11 = ObjectIDToString<{
    _id: ObjectID;
    group: {
        groupId: ObjectID;
        contentIds: ObjectID[];
        isPremium: number;
        owner: {
            ownerId: ObjectID;
            name: string;
        }
    }
}>
type Convert12 = ObjectIDToString<{
    id?: ObjectID;
    profiles: [
        { id: ObjectID; email: string; regDate: number; contentIds: ObjectID[]; },
        { id: ObjectID; email: string; regDate: number; contentIds: ObjectID[]; }
    ]
}>;
type Convert13 = ObjectIDToString<{
    id?: ObjectID;
    profiles: Array<{
        id: ObjectID;
        email: string;
        regDate: number;
        contentIds: ObjectID[];
    }>;
}>;

types.ts

import { ObjectID } from "mongodb";

export type ObjectIDToString<O> = {
    0: string;
    1: string[];
    2: O extends Array<infer A> ? ObjectIDToString<A>[] : never;
    3: {
        [prop in keyof O]: ObjectIDToString<O[prop]>
    };
    4: O;
    5: never;
}[O extends ObjectID
    ? 0
    : O extends ObjectID[]
        ? 1
        : O extends Array<any>
            ? 2
            : O extends { [prop: string]: any; }
                ? 3
                : 4
];