A basic monad for lifting ST actions