Определение типа массива произвольной вложенности

Необходимо задать типизацию массива, элементы которого могут быть вложены на любое количество уровней. Требуется описать такой тип так, чтобы TypeScript корректно выводил типы как для простых значений, так и для вложенных массивов любой глубины. При этом следует использовать возможности рекурсивных типов и условных операторов типов, не меняя при этом любые уже существующие блоки кода (их в задаче нет).