lenses are nice; working on lensified functors