Put result on the left on the state monad to follow haskell convention