SI-2712 with Shapeless + cats.instance.all

import cats.{Applicative, Unapply}
import cats.instances.all._
import shapeless._

object Test {

  trait Foo[L <: HList]

  object Foo extends MkFoo

  trait MkFoo0 {
    implicit def con[H, T <: HList](implicit st: Foo[T]): Foo[H :: T] = ???
  }

  trait MkFoo extends MkFoo0 {
    implicit def nil[F[_] : Applicative]: Foo[HNil] = ???
    implicit def single[H](implicit un: Unapply[Applicative, H]): Foo[H :: HNil] = ???
  }

  implicitly[Foo[Either[String, Int] :: Either[String, Int] :: Either[String, Int] :: HNil]]   // <-  attempt1 passes
  implicitly[Foo[Either[String, Int] :: HNil]] //<- attempt 2 fails compilation with  diverging implicit expansion
}