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