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