[ekvintroj]

Try to type a flatMap and then we talk.

[anamexis]

    type ValueOrArray<T> = T | Array<ValueOrArray<T>>;
    type FlatMap<In, Out> = (array: Array<In>, fn: (el: In) => ValueOrArray<Out>) => Array<Out>;

[ekvintroj]

This does not work, that's the issue, try to run it.

[anamexis]

It seems to work for me, what issue are you seeing?

https://www.typescriptlang.org/play?target=6#code/C4TwDgpgBA...

[klysm]

Is this actually an issue?