import { Kind, ContravariantParam, InvariantParam, CovariantParam } from '../../kinds/index.js';
import * as ARIO from '../reader-task';
import * as R from '../result';
export interface Effect<A, E, Env> extends ARIO.ReaderTask<R.Result<A, E>, Env> {
}
export interface TEffect extends Kind<[InvariantParam, CovariantParam, ContravariantParam]> {
    return: Effect<this['arg0'], this['arg1'], this['arg2']>;
}