circular type reference nonsense

[hearty slate]

why does removing an array nest cause this to be a circular dependency?? shouldn't it be functionally the same thing??

https://www.typescriptlang.org/play?#code/C4TwDgpgBAglC8UDaA6NAhANMtKtQGdgAnASwDsBzAXWoFgAoUSKdBKcgVwFsAjCYkmpQAPsiQxajRs2gBhdqjQARbEpSrCJCjXpNw0Zey58BQ0cjl7pDAPS2ojp85eOAblAgAPEgEMoYL6kxFAA9gBmULzEvgDGANYQwARQ4aEh5KFQxBC+BKHkUABcABSMsQVEUL5FsIoAjGpISI3IrQDkwBBE7bTU2J3dwL3UQA

to be more clear about the type definition I'm looking for here, it should accept:

• [1, [1, 'test']]
• [[1, [1, 'test']], [1, 'test']]
• [[1, [1, 'test']], [[[1, [1, 'test']], [1, 'test']], 'test']]
• [1, [[1, [[[1, [1, 'test']], [[1, [1, 'test']], 'test']], 'test']], 'test']]

and so on

basically it starts off with a base [...number[], [...number[], string]]

but any of the ...number[]s can be replaced with the entire expression

recursively