non-empty string - how to? - arktype