Are awesome. They are tools for working with immutable data. You can think of them as pointers in an immutable world.
So with a lens we can 'get' and 'set' data in a structure easily and composibly. It is mostly the setters that are
interesting because the getters are easy