lens package:Agda

Build a lens from a getter and a setter.
A cut-down implementation of lenses, with names taken from Edward Kmett's lens package.