If the type fits, I sits

In languages where there's no difference between string and char and where strings are sequences of string, they are endlessly recursively defined.

What language is that? That does not conform to duck typing.