MyConcatRev[T] (l:list [list [T]]):list[T] { NList.FoldLeft(l, [], NList.FoldLeft(_, _, _::_)) } MyConcat[T] (l:list [list [T]]):list[T] { NList.Rev(MyConcatRev(l)) }