An example serving as a tutorial for how to customize Lens.