trying to unbork ApplicativePlus.{some, many}

ApplicativePlus.scala

// original, broken version
def many[A](a: F[A]): F[List[A]] = {
  lazy val y: Free.Trampoline[F[List[A]]] = z map (plus(_, point(Nil)))
  lazy val z: Free.Trampoline[F[List[A]]] = y map (map2(a, _)(_ :: _))
  y.run
}



// trying to make sense of trampoline
def many[A](a: F[A]): F[List[A]] = {
  import std.function._
  lazy val y: Free.Trampoline[F[List[A]]] = Free.return_[Function0, F[List[A]]](plus(z.run, point(Nil)))
  lazy val z: Free.Trampoline[F[List[A]]] = Free.return_[Function0, F[List[A]]](map2(a, y.run)(_ :: _))
  y.run
}