import { Kind } from '../../kinds/index.js';
import { Functor } from './functor';
import { TypeSkell } from '../../typeskell/index.js';
declare namespace functorLaws {
    type $identity<F extends Kind> = TypeSkell<'F a ..e -> F a ..e', {
        F: F;
    }>;
    type $composition<F extends Kind> = TypeSkell<'(a -> b) (b -> c) -> (F a ..e) -> F c ..e', {
        F: F;
    }>;
}
export declare const functorLaws: <F extends Kind>(functor: Functor<F>) => {
    identity: {
        left: functorLaws.$identity<F>;
        right: functorLaws.$identity<F>;
    };
    composition: {
        left: functorLaws.$composition<F>;
        right: functorLaws.$composition<F>;
    };
};
export {};