None of these count as a language with complex types in my opinion. C++ has templates but that's not to be confused with its typesystem.

I'm not saying typescripts typesystem is perfect and I'm definitely not saying that most people use it correctly. But at least it has great potential, compared to e.g. Java and C# which still fail to let me describe basic data types and operations in the typesystem.