foldRight + forAll