Lens that focuses on a field in a data class
WARNING: this should only be called on data classes, but that is checked only at runtime! The check happens when the lens is created.