recordLensFamily, a more general recordLens.