hlistSelectLens, an HList element lens derived from element type.
Doc for hlistSelectLens.
recordLens, a lens over a named field of an extensible record.
A bit of style.
Merge pull request #52 from S11001001/topic/hlist-select-lenses

HList select lenses