Type safe record selection syntax for shapeless records.

gistfile1.scala

scala> import shapeless._, record._, syntax.singleton._
import shapeless._
import record._
import syntax.singleton._

scala> val mary = ('name ->> "Mary" :: 'age ->> 23 :: HNil).record
mary: shapeless.syntax.DynamicRecordOps[shapeless.::[String with shapeless.record.KeyTag[Symbol with shapeless.tag.Tagged[String("name")],String],shapeless.::[Int with shapeless.record.KeyTag[Symbol with shapeless.tag.Tagged[String("age")],Int],shapeless.HNil]]] = DynamicRecordOps(Mary :: 23 :: HNil)

scala> mary.name
res2: String = Mary

scala> mary.age
res3: Int = 23