import type { AnyEnv } from '@morphic-ts/common/es6/config';
import type { URIS } from '@morphic-ts/common/es6/HKT';
/**
 *  @since 0.0.1
 */
export interface Algebra<F extends URIS, Env extends AnyEnv> {
    _AF: F;
    _ENV: Env;
}
/**
 *  @since 0.0.1
 */
export declare type AlgebraURIS = Exclude<keyof Algebra<never, never>, '_AF' | '_ENV'>;