Doc for hlistSelectLens.
recordLens, a lens over a named field of an extensible record.