Transparent Monads syntax and Monadic Flow Control interpretation in Scala
Statements and Logical Operators on Boolean Monads and Collections