/**
 * A (experimental) lazy singly-linked list implementation. Similar to Haskell's `List`
 */
import type * as HKT from "@principia/prelude/HKT";
import type { Lazy } from "../Function";
export interface Nil {
   readonly _tag: "Nil";
}
export declare type Cons<A> = {
   readonly _tag: "Cons";
   readonly head: Lazy<A>;
   readonly tail: Lazy<LazyList<A>>;
};
export declare type LazyList<A> = Nil | Cons<A>;
export declare const errorEmptyList: (fun: string) => never;
export declare type InferListType<T> = T extends LazyList<infer A> ? A : never;
export declare const URI = "List";
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> {
      [URI]: LazyList<A>;
   }
}
//# sourceMappingURL=model.d.ts.map