¿Qué patrón funcional representa Task?

type Task<T> = {
  fork: (reject: (e: Error) => void, resolve: (t: T) => void) => void;
};

const taskOf = <T>(value: T): Task<T> => ({
  fork: (_, resolve) => resolve(value),
});

const taskMap = <A, B>(task: Task<A>, fn: (a: A) => B): Task<B> => ({
  fork: (reject, resolve) =>
    task.fork(reject, (a) => resolve(fn(a))),
});