let fold f = fold is_neg f