let fold f = fold is_pos f