Either based transaction with Exposed. https://github.com/JetBrains/Exposed

example.kt

suspend fun main() {
  val q1: Query<String, Int> = query<String, Int> {
    val x = "1".right().bind()
    ensureNotNull(x.toIntOrNull()) { "Was not a int string" }
  }

  val q2: Query<String, Double> = query<String, Double> { 
    val int = q1.invoke().bind()
    int.toDouble()
  }
  
  q2.transact()
}

Query.kt

import arrow.core.Either
import arrow.core.computations.EitherEffect
import arrow.core.computations.either
import kotlinx.coroutines.Dispatchers
import org.jetbrains.exposed.sql.transactions.experimental.newSuspendedTransaction

typealias Query<E, A> = suspend () -> Either<E, A>

fun <E, A> query(f: suspend EitherEffect<E, *>.() -> A): Query<E, A> =
  suspend { either(f) }

suspend fun <E, A> Query<E, A>.transact(): Either<E, A> =
  newSuspendedTransaction(Dispatchers.IO) {
    either {
      try {
        invoke()
          .tapLeft { rollback() }
          .bind()
      } catch (e: Throwable) {
        rollback()
        throw e
      }
    }
  }