.&&. package:tasty-quickcheck

Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.