Thanks, I haven't heard of lens before.

For others there's a blog post that introduces it: https://yapee.svbtle.com/nested-data-structures-with-lens