import { type refinement } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { InputOf } = refinement;
definition: T extends Refinement<infer B, infer _> ? B : never
import { type refinement } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { InputOf } = refinement;