export interface Task<A> {
  (): Promise<A>
}

export type URI = typeof URI

export const URI: "Task" = ...

<A>(fa: Task<A>) => <B>(fab: Task<(a: A) => B>) => Task<B>

<B>(fb: Task<B>) => <A>(fa: Task<A>) => Task<A>

<B>(fb: Task<B>) => <A>(fa: Task<A>) => Task<B>

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

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

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

export function delay(millis: number): <A>(ma: Task<A>) => Task<A> { ... }

<A>(mma: Task<Task<A>>) => Task<A>

export function fromIO<A>(ma: IO<A>): Task<A> { ... }

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

export function getMonoid<A>(M: Monoid<A>): Monoid<Task<A>> { ... }

export function getRaceMonoid<A = never>(): Monoid<Task<A>> { ... }

export function getSemigroup<A>(S: Semigroup<A>): Semigroup<Task<A>> { ... }

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

export const never: Task<never> = () => new Promise(_ => ...

export function of<A>(a: A): Task<A> { ... }

export const task: Monad1<URI> & MonadTask1<URI> = ...

export const taskSeq: typeof task = ...