Lens

Uses Edward Kmett's Lens library package.