Как в интерфейсе получить тип данных массива, но не в виде массива?

Question

[WbICHA]

Вопрос задан очень плохо, но лучше сформулировать не получилось.
Так что лучше объясню на примере. Есть интерфейс:

IQuery<IGroup>
IQuery<IGroup[]>

export type IQuery<T extends SomeType | SomeType[]> = 
  OtherType<T, T extends SomeType[] ? T[0] : T, {}>;

В таком виде он не работает, но логика работы должна быть такой. То есть мне надо, чтобы второй аргумент OtherType принимал Т, но не в виде массива, а первый аргумент должен быть массивом, если Т массив.

Собственно, возможно ли вообще решить данную проблему или придётся делать второй интерфейс для массивов?

Comments

[Lynn «Кофеман»]

T extends Array<infer U> ? U : T

[WbICHA]

Lynn «Кофеман», это именно то, что надо. Спасибо огромное. Закинь это решение в ответы, отмечу решением.

[Lynn «Кофеман»]

Вообще странно, вроде и ваш вариант работает
https://www.typescriptlang.org/play?#code/JYOwLgpg...

[WbICHA]

Lynn «Кофеман», да, я об этом не написал, но я сглупил при проверки конкретно данного решения, этот тип возвращает функция и я, чтобы ничего не придумывать, для проверки типов вызывал её, а функция асинхронная и я забыл await.)
В любом случае ваше решение явно более элегантно. И спасибо, что проверили и моё решение, буду знать, что оно рабочее, я уже поленился его проверять. :/