Type Alias IsData<T>

IsData: [T] extends [Primitive]
    ? true
    : T extends ReadonlyArray<infer U>
        ? EqualReadonly<T, ReadonlyArray<U>> extends true ? IsData<U> : false
        : T extends ReadonlySet<infer U>
            ? EqualReadonly<T, ReadonlySet<U>> extends true ? IsData<U> : false
            : T extends ReadonlyMap<infer K, infer V>
                ? EqualReadonly<T, ReadonlyMap<K, V>> extends true
                    ? IsData<K> extends false ? false : IsData<V>
                    : false
                : T extends object
                    ? IsFullyReadonly<T> extends true
                        ? { [K in keyof T]-?: IsData<Exclude<(...), (...)>> }[keyof T] extends false
                            ? false
                            : true
                        : false
                    : false