import type { Eq } from './Eq';
import type { Ord } from './Ord';
import type { Predicate } from './Predicate';
import type { Show } from './Show';
export declare const ShowURI = "Show";
export declare type ShowURI = typeof ShowURI;
export declare const EqURI = "Eq";
export declare type EqURI = typeof EqURI;
export declare const OrdURI = "Ord";
export declare type OrdURI = typeof OrdURI;
export declare const PredicateURI = "Predicate";
export declare type PredicateURI = typeof PredicateURI;
declare module './HKT' {
    interface URItoKind<FC, TC, N, K, Q, W, X, I, S, R, E, A> {
        [ShowURI]: Show<A>;
        [EqURI]: Eq<A>;
        [OrdURI]: Ord<A>;
        [PredicateURI]: Predicate<A>;
    }
}
//# sourceMappingURL=Modules.d.ts.map