Is it possible to legitimately type a reduce/merge operation on an array?

Question

I have this code, which works as written but requires ignoring the error Type instantiation is excessively deep and possibly infinite.

type Somet