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