type NonPositiveNumber = number & Brand<"NonPositive">;