Would it make sense to embed Eval actions in STM ones?

We can hypothetically write

```haskell
evalToSTM :: Eval a -> STM a
evalToSTM (Eval (IO m)) = STM m
```

Would that be a sensible operation? My intuition says yes, but my intuition around STM is fairly limited as yet.