andM package:monad-loops

short-circuit and for values of type Monad m => m Bool