import { type InputTaggedUnion } from "https://deno.land/x/scale@v0.13.0/codecs/mod.ts";
Type Parameters
M extends Record<number, AnyVariant>
definition: [I in keyof M]: Expand<Readonly<Record<K, Extract<M[I], AnyVariant>["tag"]>> & Input<Extract<M[I], AnyVariant>["codec"]>>[keyof M & number]