For any F[_] and Hlist L of A :: B :: ... :: Z :: HNil
provides a Repr of F[A] :: F[B] :: ... :: F[Z] :: HNil
by looking for an implicit instance of each member in turn.
import cats.Monoid, cats.implicits._
import shapeless._
val klist = TypeclassList[Int :: String :: HNil, Monoid]
val stringMonoid = klist.forType[String].empty
A KList
For any
F[_]
and HlistL
ofA :: B :: ... :: Z :: HNil
provides aRepr
ofF[A] :: F[B] :: ... :: F[Z] :: HNil
by looking for an implicit instance of each member in turn.