interface NonEmptyStringBrand extends Brand<"NonEmptyString"> {}
interface NonEmptyString2kBrand extends Brand<"NonEmptyString2k">, NonEmptyStringBrand {}
interface NonEmptyString255Brand extends Brand<"NonEmptyString255">, NonEmptyString2kBrand {}
interface NonEmptyStringBrand extends Brand<"NonEmptyString"> {}
interface NonEmptyString2kBrand extends Brand<"NonEmptyString2k">, NonEmptyStringBrand {}
interface NonEmptyString255Brand extends Brand<"NonEmptyString255">, NonEmptyString2kBrand {}