Show an example of shapeless records + TypedAPI

[johnynek]

Any takers want to make give us an example to get people to see that records can be as easy as the Fields API?

https://github.com/milessabin/shapeless