type alias TypeOfimport { type TypeOf } from "https://deno.land/x/fun@v2.0.0/comparable.ts"; Type ParametersUdefinition: U extends Comparable<infer A> ? A : never