let
forall xs p =
List
.fold_right p_forall xs p