Lens implementation for Java 8