let keep_while pred = keep_whilei (fun _ a -> pred a)