import { Kind } from '../../kinds/index.js';
import { Applicative } from '../applicative';
import { TypeSkell } from '../../typeskell/index.js';
export declare namespace Monad {
    type $flatMap<M extends Kind> = TypeSkell<'(a -> M b ..x) -> M a ..y -> M b ..xy', {
        M: M;
    }>;
    type $flatten<M extends Kind> = TypeSkell<'M (M a ..x) ..y -> M a ..xy', {
        M: M;
    }>;
    type $bind<F extends Kind> = TypeSkell<'(DoName n a) (a -> F b ..x) -> F a ..y -> F (Do n a b) ..xy', {
        DoName: Kind.DoName;
        Do: Kind.Do;
        F: F;
    }>;
}
export interface Monad<F extends Kind> extends Applicative<F> {
    /**
     * flatMap :: `(a -> M b) -> M a -> M b`
     */
    flatMap: Monad.$flatMap<F>;
}
/**
 * flatten :: `Monad M => M (M a) -> M a`
 */
export declare const flatten: <M extends Kind>(m: Monad<M>) => Monad.$flatten<M>;
/**
 * bind :: `Monad M => (DoName n a) (a -> M b) -> M a -> M (Do n a b)`
 */
export declare const bind: <F extends Kind>(f: Monad<F>) => Monad.$bind<F>;