implementing a few lenses