Kefir Partial Lenses Validation · Partial Lenses Validation functions lifted to work on Kefir properties.