KindPair

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

Specifies Pair as a Higher Kinded Type, with covariant parameters A and B corresponding to the 0th and 1st index of any Substitutions.

interface KindPair extends Kind {

readonly kind: Pair<Out<this, 0>, Out<this, 1>>;

}

§Extends

readonly kind: Pair<Out<this, 0>, Out<this, 1>>