import type { Filterable, Monad, Monoid } from "@principia/prelude";
import type { Applicative } from "@principia/prelude/Applicative";
import type { Fallible } from "@principia/prelude/Fallible";
import * as HKT from "@principia/prelude/HKT";
import type { Erase } from "@principia/prelude/Utils";
export declare function getFilterableF<F extends HKT.URIS, C = HKT.Auto>(
   F: Monad<F, C> & Fallible<F, C> & Applicative<F, C>
): <E>(M: Monoid<E>) => Filterable<F, Erase<HKT.Strip<C, "E">, HKT.Auto> & HKT.Fix<"E", E>>;
//# sourceMappingURL=filterable.d.ts.map