Hmm, how about generalizing the type of this to
```haskell
liftRandT :: (...) => (g -> m (a, g)) -> RandT g m a
liftRandT = RandT . StateT
```
?