pedrofurla

scala> val sample = "A" :: 1 :: 2L :: HNil
sample: shapeless.::[String,shapeless.::[Int,shapeless.::[Long,shapeless.HNil]]] = A :: 1 :: 2 :: HNil

scala> object bleh4 extends Poly1 {
     |     implicit val caseInt = at[Int](_.toString);
     |     implicit val caseLong = at[Long](_.toString);
     |     implicit val caseStr = at[String](_.toString);
     |   }
defined module bleh4