export const NonNegativeInteger = tag<INonNegativeIntegerTag>()(
  t.refinement(t.Integer, (s) => s >= 0, "integer >= 0")
);