KindIdentity
import type { KindIdentity } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/identity.ts";Specifies Identity as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any substitutions.