Transactor lenses do not preserve Transactor type

[mwisnicki]

This won't compile because resulting type is Transactor

def withIsolationLevel(xa: HikariTransactor, level: TransactionIsolation): HikariTransactor =
  Transactor.before.modify(xa, _ *> connection.setTransactionIsolation(level))

It would be helpful if transactor type was preserved.

[jatcwang]

Hi @mwisnicki, I agree with you but probably not something that I can spare the time to change at the moment.

Meanwhile, I think you can use the copy method on Transactors which preserves the Transactor type.

val transactor: HikariTransactor[IO] = ...

transactor.copy(strategy0 = Strategy.before.modify(transactor.strategy, _ *> ...))

[sharmaakshay177]

Hi @jatcwang,
Could you please review #2346 whenever you have some time to spare? In my opinion, this should resolve the issue.
Guide me if I am missing something.