.&&

(.&&.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property
QuickCheck Test.QuickCheck.Property, QuickCheck Test.QuickCheck
Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.