Variable: NonNegativeInt

const NonNegativeInt: BrandType<
  Type<"Brand", number & Brand<"Int">, number, IntError, number, NumberError>,
  "NonNegative",
  NonNegativeError,
  NumberError | IntError
>;