.&. -package:lens

Bitwise "and"
Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.
Bit-wise AND
This operator is useful to check if bits are set in a FileMode.