Algebra[F[_], G[_]]?)
да
https://typelevel.org/blog/2018/05/09/tagless-final-streaming.html
trait DbInterpreter[DB[_], F[_]] { def runTransactionally[A](dbAction: DB[A]): F[A] def run[A](dbAction: DB[A]): F[A] }
Обсуждают сегодня