import { type number } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { Integer } = number;
definition: Newtype<"Integer", Natural>
import { type number } from "https://deno.land/x/fun@v2.0.0-alpha.6/mod.ts";
const { Integer } = number;