A MonadicCondition allows building boolean expressions of the form (a(0) && a(1) && .. && a(n)), where a(k) is a boolean expression, and collecting the computation failures to a list of messages.

 Example:

   val isTooYoung = true;
   val isTooBad = false;
   val isTooStupid = true;

   val exp = (!isTooYoung ~ "too young") &&
             (!isTooBad ~ "too bad") &&
             (!isTooStupid ~ "too stupid")

   println(exp match {
     case False(msgs) => msgs mkString("Test failed because it is '", "' and '", "'.")
     case _ => "success"
   })