import type { Eq } from "@principia/prelude/Eq";
export declare const chain_: <B>(E: Eq<B>) => <A>(set: ReadonlySet<A>, f: (a: A) => ReadonlySet<B>) => ReadonlySet<B>;
export declare const chain: <B>(
   E: Eq<B>
) => <A>(f: (a: A) => ReadonlySet<B>) => (set: ReadonlySet<A>) => ReadonlySet<B>;
export declare const flatten: <A>(E: Eq<A>) => (ma: ReadonlySet<ReadonlySet<A>>) => ReadonlySet<A>;
//# sourceMappingURL=monad.d.ts.map