TypeScript interface for type checking IDs at compile time only. No need to convert id values at runtime.

typescript-typed-ids.ts

/**
 * This interface forces typescript to differentiate between
 * two IDs which use a different generic type.
 */
export interface Id<T> extends String {
    __idTypeFor?: T;
}

// syntactic sugar for importing the specific ID type
export type PersonId = Id<Person>;

export interface Person {
    id: PersonId;

    address: Address;
}

// syntactic sugar for importing the specific ID type
export type AddressId = Id<Address>;

export interface Address {
    id: AddressId;
}

const a: Address = { id: 'some-address-id' };
const p: Person = { id: 'some-person-id', address: a };

// assign AddressId to PersonId
p.id = a.id; // TS: Type 'AddressId' is not assignable to type 'PersonId'.

This obviously doesn't work for types which share the same shape.