Basic conditional operators with monadic variants.