A bit cleanup in the transaction monad