From what I understood, it means instances of string can be used for anything:-
returned from functions
passed into functions
constructed at runtime
though reified type still remains a mystery.