Example of using lenses + not-yet-complete lens derivation.