How to get the value out of the monad