/**
 * Nothing special: just your standard array
 */
import type * as HKT from "@principia/prelude/HKT";
export declare type InferA<T extends ReadonlyArray<unknown>> = T extends ReadonlyArray<infer A> ? A : never;
export declare const URI = "Array";
export declare type URI = typeof URI;
export declare type V = HKT.Auto;
declare module "@principia/prelude/HKT" {
   interface URItoKind<FC, TC, N extends string, K, Q, W, X, I, S, R, E, A> {
      readonly [URI]: ReadonlyArray<A>;
   }
   interface URItoIndex<N extends string, K> {
      readonly [URI]: number;
   }
}
//# sourceMappingURL=model.d.ts.map