lenses, point-free style