.&&. package:QuickCheck

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