import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Covariant } from "@tsplus/stdlib/prelude/Covariant";
/**
 * @tsplus type Identity
 */
export type Identity<A> = A;
/**
 * @tsplus type Identity/Ops
 */
export interface IdentityOps {
}
export declare const Identity: IdentityOps;
export interface IdentityF extends HKT {
    readonly type: Identity<this["A"]>;
}
/**
 * @tsplus static Identity/Ops Covariant
 * @tsplus location "@tsplus/stdlib/prelude/Identity/definition"
 */
export declare const CovariantIdentity: import("../Covariant").Covariant<IdentityF>;
//# sourceMappingURL=definition.d.ts.map