reduce also the right side of an Of type while reducing the Of type itself, fixed Array<Array<A>> with M<M<A>> unification