Here's something a little more general that I think might answer your question. Suppose we want to write a method that will work on any record with a "foo"
key. We can use a combination of a witness and a selector:
import shapeless._, record._, syntax.singleton._
val w = Witness("foo")
def fun[L <: HList](xs: L)(implicit sel: ops.record.Selector[L, w.T]) = xs("foo")
And then:
scala> fun(("foo" ->> 42) :: HNil)
res0: Int = 42
Or:
scala> fun(("bar" ->> 'a) :: ("foo" ->> 42) :: HNil)
res1: Int = 42
If we really wanted to only allow records with no other fields, we could write the following:
def fun(l: Int with KeyTag[w.T, Int] :: HNil) = l("foo")
But that's somewhat at odds with the way records are generally used.
We have to define the witness precisely because Scala 2.10 doesn't provide any way to refer to a singleton type directly—see for example my fork of Alois Cochard's Shona project for some discussion.
I will add as a final disclaimer that I'm only just now getting familiar with Shapeless 2.0 myself, but I don't think even Miles is magical enough to get around this limitation.