Then you’re back to the problem I was describing. ...

# random

[cedric]

Then you’re back to the problem I was describing. If it’s text, it’s coming from outside your type system so you can’t be statically safe by definition. If you have a type token, it’s the opposite.