let fold f l = List.fold_right f l