fold,unfold,map,filter,average,sum,first,lazy