Generic Monad Transformer Lift Toolkit

LiftF.scala

trait LiftF[M[_[_], _]]{
  def liftF[F[_], A](fa: F[A])(implicit ev: cats.Monad[F]): M[F, A]
}
object LiftF {

  implicit class LiftOps[F[_], A](private val fa: F[A]){
    def liftF[M[_[_], _]](implicit ev1: LiftF[M], ev2: Monad[F]): M[F, A] = 
      ev1.liftF(fa)
  }

  implicit val resourceHoist: LiftF[Resource] = new LiftF[Resource] {
    def liftF[F[_], A](fa: F[A])(implicit ev: Monad[F]): Resource[F,A] =
      Resource.liftF(fa)
  }

  def lifted[F[_]: Sync] = for {
    _ <- Sync[F].delay(println("Foo")).liftF[Resource]
  } yield ()
}