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