KindPredicate

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

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

interface KindPredicate extends Kind {

readonly kind: Predicate<In<this, 0>>;

}

§Extends

readonly kind: Predicate<In<this, 0>>