:: m Bool -> m Bool -> m Bool package:protolude

The && operator lifted to a monad. If the first argument evaluates to False the second argument will not be evaluated.
The || operator lifted to a monad. If the first argument evaluates to True the second argument will not be evaluated.
&& lifted to an Applicative. Unlike &&^ the operator is not short-circuiting.
|| lifted to an Applicative. Unlike ||^ the operator is not short-circuiting.