export type URI = typeof URI

export class Reader<E, A> {
  constructor(readonly run: (e: E) => A) { ... }
  ...
}

map<B>(f: (a: A) => B): Reader<E, B> { ... }

ap<B>(fab: Reader<E, (a: A) => B>): Reader<E, B> { ... }

ap_<B, C>(this: Reader<E, (b: B) => C>, fb: Reader<E, B>): Reader<E, C> { ... }

chain<B>(f: (a: A) => Reader<E, B>): Reader<E, B> { ... }

local<E2 = E>(f: (e: E2) => E): Reader<E2, A> { ... }

export const URI = ...

export const reader: Monad2<URI> & Profunctor2<URI> & Category2<URI> & Strong2<URI> & Choice2<URI> = ...

export const ask = <E>(): Reader<E, E> => ...

export const asks = <E, A>(f: (e: E) => A): Reader<E, A> => ...

export const getMonoid = <E, A>(M: Monoid<A>): Monoid<Reader<E, A>> => ...

export const getSemigroup = <E, A>(S: Semigroup<A>): Semigroup<Reader<E, A>> => ...

export const local = <E, E2 = E>(f: (e: E2) => E) => <A>(fa: Reader<E, A>): Reader<E2, A> => ...