Milyardo

[error] /opt/workspace/de/scaloi/src/main/scala/scaloi/FreeHacks.scala:23: type parameter β defined in type Λ$ shadows type β defined in type Λ$. You may want to rename your type parameter, or possibly remove it.
[error]   implicit def unapplyMMFA[TC[_[_]], M0[_[_], _], M1[_[_], _], F0[_], A0](implicit TC0: TC[M0[M1[F0,?], ?]]):

[error] /opt/workspace/de/scaloi/src/main/scala/scaloi/FreeHacks.scala:23: M1[F0,A] takes no type parameters, expected: one
[error]   implicit def unapplyMMFA[TC[_[_]], M0[_[_], _], M1[_[_], _], F0[_], A0](implicit TC0: TC[Lambda[A => M0[M1[F0,A], A]]]):
[error]                                                                                                           ^

Milyardo

object GeneratorPlugin extends AutoPlugin {
    object autoImport {
      val generateSource = TaskKey[Seq[File]]("genmysources","Generates sources")
    }
    import autoImport._
    
    lazy val MyGenerator = config("my-generator").extend(Compile)

   override lazy val projectSettings = Seq[Def.Setting[_]](
    ivyConfigurations += MyGenerator