let string s = inject (String s)