handle FoldLeftTask (constraint types and dig into the map-reduces)