multipleImplicits.scala

trait Ops[T, F[_]] {
  // currently
  object transCata {
    def apply[U] = new PartiallyApplied[U]                  // PartiallyApplied
    final class PartiallyApplied[U] {
      def apply[G[_]: Functor]                              // unnecessary type param, and seductive constraint syntax
        (f: F[U] => G[U])
        (implicit U: Corecursive.Aux[U, G], BF: Functor[F]) // Aux
          : U =
        typeClassInstance.transCata(self)(f)
    }
  }

  // with multiple implicit lists                              eliminates all of ↑
  def transCata[U]
    (implicit U: Corecursive[U])
    (implicit F: Functor[F], B: Functor[U.Base])
    (f: F[U] => U.Base[U])
      : U =
    typeClassInstance.transCata(self)(f)
}