import type { Kind } from '../../kinds/index.js';
import type { Functor } from '../functor';
import type { TypeSkell } from '../../typeskell/index.js';
export declare namespace ProFunctor {
    type $promap<F extends Kind> = TypeSkell<'(F a e ..x) (c -> e) (a -> b) -> F b c ..x', {
        F: F;
    }>;
}
export interface ProFunctor<F extends Kind> extends Functor<F> {
    promap: ProFunctor.$promap<F>;
}