Learning FoldLeft