import { Kind } from '../../kinds/index.js';
import { TypeSkell } from '../../typeskell/index.js';
export declare namespace Flip {
    type $flip<F extends Kind> = TypeSkell<'F a b ..e -> F b a ..e', {
        F: F;
    }>;
}
export interface Flip<F extends Kind> {
    /**
     * flip :: `F a b -> F b a`
     */
    flip: Flip.$flip<F>;
}