Understanding the `[TypeId]` in TypeScript's Structural Type System

export declare namespace Document {
  export interface Proto<in out Fields> extends Pipeable {
    readonly [TypeId]: VarianceStruct<Fields>
  }
}