Achieve stricter return typing on function with complicated parameter typing

Question

I have an object of type

type CompoundType = (IType1 | IType2)[] | (IType3 | IType4)[];

Where IType1, IType2, IType3, IType4, ... , ITy