Evidence

trait Evidence[A, As <: HList]
class Object
trait Matchable
class Any
class Head[A, As]
class Tail[A, B, As]