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!