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

Closed frabbit closed 10 years ago