import type { Assert } from './prelude.js';
type $<A, B> = (a: A) => B;
type Sequence = {
    <A>(a: Assert<A>): Assert<A>;
    <A, B>(a: Assert<A>, b: $<A, B>): Assert<B>;
    <A, B, C>(a: Assert<A>, b: $<A, B>, c: $<B, C>): Assert<C>;
};
declare const sequence: Sequence;
export default sequence;