TypedJsonShape: TypedPattern<{
    @type: string;
}> = ...