export type URI = typeof URI

export class IxIO<I, O, A> {
  constructor(readonly value: IO<A>) { ... }
  ...
}

run(): A { ... }

ichain<Z, B>(f: (a: A) => IxIO<O, Z, B>): IxIO<I, Z, B> { ... }

map<B>(f: (a: A) => B): IxIO<I, O, B> { ... }

ap<B>(fab: IxIO<I, I, (a: A) => B>): IxIO<I, I, B> { ... }

chain<B>(f: (a: A) => IxIO<I, I, B>): IxIO<I, I, B> { ... }

export const URI = ...

export const ixIO: IxMonad3<URI> = ...

export const getMonad = <I = never>(): Monad3C<URI, I, I> => ...

export const iof = <I, A>(a: A): IxIO<I, I, A> => ...