edit lenses as opfibrations