Add lenses example using Telescope