sample code for functional lenses (both with Shapeless, and standalone)