import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Covariant } from "@tsplus/stdlib/prelude/Covariant";
import { Any } from "@tsplus/stdlib/prelude/Any";
/**
 * @tsplus static DSL succeedF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/succeedF"
 */
export declare function succeedF<F extends HKT>(F: Covariant<F> & Any<F>): <A, R = unknown, E = never>(a: A) => import("../HKT").HKT.Kind<F, R, E, A>;
//# sourceMappingURL=succeedF.d.ts.map