reduce also the right side of an Of type while reducing the Of type itself, fixed Array<Array<A>> with M<M<A>> unification
Merge pull request #5 from frabbit/of_in_patch5

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