Type Alias MapValueLimits<T>

MapValueLimits: {
    [K in keyof T as `${string & K}$value`]: T[K] extends Map<
        any,
        infer MapValueType,
    >
        ? MapValueType extends PrimitiveTypes ? never : Limits<MapValueType>
        : T[K] extends PrimitiveTypes ? never : Limits<T[K]>
}