let skip_while pred = skip_whilei (fun _ a -> pred a)