/** Typeclass law tests for the `Cause` datatype. */
import { Monad as MD } from '@effect/typeclass';
import { Cause as CA } from 'effect';
import type { LiftEquivalence } from '../../law.js';
import type { TypeLambda } from 'effect/HKT';
export interface CauseTypeLambda extends TypeLambda {
    readonly type: CA.Cause<this['Target']>;
}
/**
 * @category instances
 */
export declare const Monad: MD.Monad<CauseTypeLambda>;
/**
 * @category instances
 */
export declare const getEquivalence: LiftEquivalence<CauseTypeLambda>;
//# sourceMappingURL=Cause.d.ts.map