const NonEmptyString100: minLength(1)(String100);