Monad supports if statement