let
collect_and p = fold_and [] [] p