import { Kind, ContravariantParam, InvariantParam } from '../../kinds/index.js';
import { Reader } from '../reader/reader.types';
import { IO } from '../io/io.types';
export interface ReaderIO<A, Env> extends Reader<IO<A>, Env> {
}
export interface TReaderIO extends Kind<[InvariantParam, ContravariantParam]> {
    return: ReaderIO<this['arg0'], this['arg1']>;
}