ciris ConfigValue derivation for case classes

ConfigValueGeneric.scala

object magic {

    trait Derived[A] {
      type Out
      def out: Out
    }

    object Derived {
      type Aux[A, B] = Derived[A] { type Out = B }

      import shapeless._

      object parallelFolder extends Poly2 {

        implicit def parTuple[F[_]: NonEmptyParallel, X, Y <: HList]: Case.Aux[F[X], F[Y], F[X :: Y]] =
          at[F[X], F[Y]]((_, _).parMapN(_ :: _))

      }

      implicit def autoMagic[Type, Repr <: HList, Lifted <: HList](
        implicit gen: Generic.Aux[Type, Repr],
        lift: LiftAll.Aux[ConfigValue, Repr, Lifted],
        folder: RightFolder.Aux[Lifted, ConfigValue[HNil], parallelFolder.type, ConfigValue[Repr]]
      ): Derived.Aux[Type, ConfigValue[Type]] =
        new Derived[Type] {
          type Out = ConfigValue[Type]
          val out: Out = lift.instances.foldRight(ConfigValue.default(HNil: HNil))(parallelFolder).map(gen.from)
        }

    }

    def genericConfigValue[Type](implicit m: Derived[Type]): m.Out = m.out
  }