如何使Typescript识别递归类型而不落在字符串上

I need to write a Typescript program that models numbers tree as nested array. Meaning, it should give an error when some leaf is not a number, but for example boolean or string. I wrote the code:I need to write a Typescript program that model