Mapping get over an HList of Maps.

gistfile1.scala

import shapeless._

trait Name
case class VarName(nme: String) extends Name
case class ParamName(nme: String) extends Name

def lookup(nme: String): Option[Name] :: Option[Name] :: HNil = {
  object get extends Poly1 {
    implicit def default[T <: Name] = at[Map[String, T]](_.get(nme))
  }
  
  val finalMap = Map("foo" -> VarName("foo")) :: Map("bar" -> ParamName("bar")) :: HNil
  finalMap.map(get)
}