Evaluate monad