It is not possible to convert the string type to a specific singleton type in a type function, there’s no way to statically determine in general which singleton it “should” be. The mental model you should have for type functions is that they only know what types are, they can’t learn anything about values that are not directly expressed in types.