let
string s = inject (
String
s)