import { type $ } from "https://deno.land/x/capi@v0.1.1-beta.1/mod.ts";
const { OutputTaggedUnion } = $;
Type Parameters
M extends Record<number, AnyVariant>
definition: [I in keyof M]: Expand<Record<K, Extract<M[I], AnyVariant>["tag"]> & Output<Extract<M[I], AnyVariant>["codec"]>>[keyof M & number]