import { type comparable } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { TypeOf } = comparable;
definition: U extends Comparable<infer A> ? A : never
import { type comparable } from "https://deno.land/x/fun@v2.0.0/mod.ts";
const { TypeOf } = comparable;