One of the possible uses: strings that don't typecheck as inputs to unit tests.