`ReaderT.monad<F, AccountRepository<F>&gt...

# arrow

[pakoito]

ReaderT.monad<F, AccountRepository<F>>(this).tupled(debit(from, amount), credit(to, amount))

[stojan]

The first part is the ugly one (ReaderT.monad...)

The binding section is nice