let fold = P.fold