·If String is not a kind level synonym for [Char], maybe it should have a different name. For example, “foo” :: Label? Or Atom?
Or Symbol?
The name is inspired by Ruby's :symbol notation. We could even use the same notation (seems unambiguous on the type level, no?). Even if we don't use the notation we could use the name.