KindPromise

import type { KindPromise } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/promise.ts";

Specifies Promise as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any Substitutions.

interface KindPromise extends Kind {

readonly kind: Promise<Out<this, 0>>;

}

§Extends

readonly kind: Promise<Out<this, 0>>