type NonEmptyString = string & Brand<"MinLength1">;