gistfile1.txt

  val `shapeless.LabelledGeneric` = {
    def `shapeless.LabelledGeneric.Aux` = scala.Predef.???
    shapeless.LabelledGeneric[Bar]
  }
  implicit val `shapeless.LabelledGeneric.Aux`
    : shapeless.LabelledGeneric.Aux[Bar, `shapeless.LabelledGeneric`.Repr] =
    `shapeless.LabelledGeneric`


....

val dependent = ValDef(
      Modifiers(),
      TermName("shapeless.LabelledGeneric").encodedName.toTermName,
      TypeTree(),
      Block(
        List(
          DefDef(
            Modifiers(),
            TermName("shapeless.LabelledGeneric.Aux").encodedName.toTermName,
            Nil,
            Nil,
            TypeTree(),
            Select(Select(Ident(TermName("scala")), TermName("Predef")),
                   TermName("???").encodedName.toTermName)
          )
        ),
        TypeApply(Select(Ident(TermName("shapeless")),
                         TermName("LabelledGeneric")),
                  List(Ident(TypeName("Bar"))))
      )
    )
    val aux = ValDef(
      Modifiers(Flag.IMPLICIT),
      TermName("shapeless.LabelledGeneric.Aux").encodedName.toTermName,
      AppliedTypeTree(
        Select(Select(Ident(TermName("shapeless")),
                      TermName("LabelledGeneric")),
               TypeName("Aux")),
        List(
          Ident(TypeName("Bar")),
          Select(
            Ident(TermName("shapeless.LabelledGeneric").encodedName.toTermName),
            TypeName("Repr")
          )
        )
      ),
      Ident(TermName("shapeless.LabelledGeneric").encodedName.toTermName)
    )
    Block(List(dependent), aux)