KindPredicate
import type { KindPredicate } from "https://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.
import type { KindPredicate } from "https://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.