export interface ReaderTask<R, A> {
  (r: R): Task<A>
}

export type URI = typeof URI

export const URI: "ReaderTask" = ...

<E, A>(fa: ReaderTask<E, A>) => <B>(fab: ReaderTask<E, (a: A) => B>) => ReaderTask<E, B>

<E, B>(fb: ReaderTask<E, B>) => <A>(fa: ReaderTask<E, A>) => ReaderTask<E, A>

<E, B>(fb: ReaderTask<E, B>) => <A>(fa: ReaderTask<E, A>) => ReaderTask<E, B>

export const ask: <R>() => ReaderTask<R, R> = ...

export const asks: <R, A = never>(f: (r: R) => A) => ReaderTask<R, A> = ...

<E, A, B>(f: (a: A) => ReaderTask<E, B>) => (ma: ReaderTask<E, A>) => ReaderTask<E, B>

<E, A, B>(f: (a: A) => ReaderTask<E, B>) => (ma: ReaderTask<E, A>) => ReaderTask<E, A>

export function chainIOK<A, B>(f: (a: A) => IO<B>): <R>(ma: ReaderTask<R, A>) => ReaderTask<R, B> { ... }

export function chainTaskK<A, B>(f: (a: A) => Task<B>): <R>(ma: ReaderTask<R, A>) => ReaderTask<R, B> { ... }

<E, A>(mma: ReaderTask<E, ReaderTask<E, A>>) => ReaderTask<E, A>

export function fromIO<R, A>(ma: IO<A>): ReaderTask<R, A> { ... }

export function fromIOK<A extends ReadonlyArray<unknown>, B>(f: (...a: A) => IO<B>): <R>(...a: A) => ReaderTask<R, B> { ... }

export const fromReader: <R, A = never>(ma: Reader<R, A>) => ReaderTask<R, A> = ...

export const fromTask: <R, A>(ma: Task<A>) => ReaderTask<R, A> = ...

export function fromTaskK<A extends ReadonlyArray<unknown>, B>(
  f: (...a: A) => Task<B>
): <R>(...a: A) => ReaderTask<R, B> { ... }

export function getMonoid<R, A>(M: Monoid<A>): Monoid<ReaderTask<R, A>> { ... }

export function getSemigroup<R, A>(S: Semigroup<A>): Semigroup<ReaderTask<R, A>> { ... }

export function local<Q, R>(f: (f: Q) => R): <A>(ma: ReaderTask<R, A>) => ReaderTask<Q, A> { ... }

<A, B>(f: (a: A) => B) => <E>(fa: ReaderTask<E, A>) => ReaderTask<E, B>

export const of: <R, A>(a: A) => ReaderTask<R, A> = ...

export const readerTask: Monad2<URI> & MonadTask2<URI> = ...

export const readerTaskSeq: typeof readerTask = ...

export function run<R, A>(ma: ReaderTask<R, A>, r: R): Promise<A> { ... }