Try partial lenses validation above. The following libraries are available:
V
L
R
Powered by the klipse plugin.