import { $type, TyK, TyVar } from '@fp4ts/core';
import { CommutativeMonoid, Eq, Ord } from '@fp4ts/cats-kernel';
import { Alternative } from '../alternative';
import { Applicative } from '../applicative';
import { Contravariant } from '../contravariant';
import { EqK } from '../eq-k';
import { Functor } from '../functor';
import { MonoidK } from '../monoid-k';
import { MonadDefer } from '../monad-defer';
import { Unzip } from '../unzip';
import { Unalign } from '../unalign';
import { TraversableFilter } from '../traversable-filter';
import { Defer } from '../defer';
declare const tag: unique symbol;
export interface Proxy<A> {
    [tag]: A;
}
export declare const Proxy: ProxyObj;
interface ProxyObj {
    <A>(): Proxy<A>;
    Eq<A>(): Eq<Proxy<A>>;
    EqK: EqK<ProxyF>;
    Ord<A>(): Ord<Proxy<A>>;
    CommutativeMonoid<A>(): CommutativeMonoid<Proxy<A>>;
    Defer: Defer<ProxyF>;
    MonoidK: MonoidK<ProxyF>;
    Functor: Functor<ProxyF>;
    Contravariant: Contravariant<ProxyF>;
    Applicative: Applicative<ProxyF>;
    Alternative: Alternative<ProxyF>;
    Monad: MonadDefer<ProxyF>;
    Unalign: Unalign<ProxyF>;
    Unzip: Unzip<ProxyF>;
    TraversableFilter: TraversableFilter<ProxyF>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface ProxyF extends TyK<[unknown]> {
    [$type]: Proxy<TyVar<this, 0>>;
}
export {};
//# sourceMappingURL=proxy.d.ts.map