type alias TypeOfimport { type TypeOf } from "https://deno.land/x/fun@v2.0.0-alpha.6/refinement.ts"; Type ParametersTdefinition: T extends Refinement<infer _, infer A> ? A : never