let forall xs p = List.fold_right p_forall xs p