import { type Kinds } from "https://deno.land/x/hkts@v0.0.52/hkt.ts";
Kinds Type
A registry for Kind URIS with their substitution strategies. _ represents a tuple of types used to fill a specific Kind.
Note that the idiomatic replacement type for kinds uses [0] as the inner- most hole for Functor, Apply, Chain, etc. Thus Either<L, R> should use the hole order of Either<[1], [0]>, Reader<R, A> should use Reader<[1], _[0]>, etc.