type alias Inferimport { type Infer } from "https://deno.land/x/valita@v0.2.3/mod.ts"; Type ParametersT extends AbstractTypedefinition: T extends AbstractType<infer I> ? I : never